diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 6aff7bda59 fix initialization in threaded version. Vitor Santos Costa 2009-12-17 16:03:00 -02:00
  • b88eb78e96 fix bad configuration option. Vitor Santos Costa 2009-12-16 18:35:19 -02:00
  • 13be09aaef get rid of debugging message. Vitor Santos Costa 2009-12-16 18:33:28 -02:00
  • 48861db34e fix bad testing of choice-point in throw (tabling bug?) Vítor Manuel de Morais Santos Costa 2009-12-12 23:22:10 +00:00
  • 0b17d3572b add PL_chars_to_terms to SWI emulation. Vítor Manuel de Morais Santos Costa 2009-12-12 23:21:54 +00:00
  • b69c0ba2a9 add to API Vítor Manuel de Morais Santos Costa 2009-12-12 23:21:25 +00:00
  • 946b6aa812 small space fixes Vítor Manuel de Morais Santos Costa 2009-12-12 23:20:44 +00:00
  • 1486b97e75 YAP added / to WIN32 file names (obs from Jose Santos). Vitor Santos Costa 2009-12-11 09:49:47 +00:00
  • 933f96a80d more CXX stuff: will it ever end? Vitor Santos Costa 2009-12-10 23:47:34 +00:00
  • ac2cf2434a prolog_flag executable (obs from Aubrey Barnard). Vitor Santos Costa 2009-12-10 01:16:29 +00:00
  • 1be390d31a fix create_prolog_flag to guess domain (idea from Jan Wielemaker). Vitor Santos Costa 2009-12-06 00:49:51 +00:00
  • df2b11a6ec define Optype for xxc, for instructions whose constant argument is a term, like functor(a,X,T). Vitor Santos Costa 2009-12-06 00:37:48 +00:00
  • 7663a748a9 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2009-12-04 23:13:16 +00:00
  • 783c5ed6bc fix excessive untrailing in C-code interface (obs from Nuno Fonseca). Vítor Manuel de Morais Santos Costa 2009-12-04 22:58:46 +00:00
  • 2cb3ef5fa4 fix set_base_module to retract previous modules, add delete_import_module. Vitor Santos Costa 2009-12-04 21:32:36 +00:00
  • bed3e52a84 fix version option Vítor Manuel de Morais Santos Costa 2009-12-04 18:24:45 +00:00
  • 72e2a9658e make volatile part of the system (SWI compatibility). Vítor Manuel de Morais Santos Costa 2009-12-04 18:24:22 +00:00
  • b3088710d3 emulate SWI module inheritance mechanism (at least, I hope). Vitor Santos Costa 2009-12-04 11:00:13 +00:00
  • f7e60ddbc2 simple should run tests when loading plunit. Vitor Santos Costa 2009-12-04 10:59:38 +00:00
  • d554871ffb get rid of create_prolog_flag/2. Vitor Santos Costa 2009-12-04 09:17:27 +00:00
  • 9814a3e95b better support for plunit, and don't trust SWI flags (use SICStus flags). Vitor Santos Costa 2009-12-04 00:35:37 +00:00
  • 81ad3a6d2f document new flag command. Vitor Santos Costa 2009-12-04 00:30:07 +00:00
  • ee575387af rstore user_defined_directive Vitor Santos Costa 2009-12-04 00:29:50 +00:00
  • 367f1d954f better way to define prolog flag. Vitor Santos Costa 2009-12-04 00:06:11 +00:00
  • 4c47f4188e fix exceptions in setup. Vitor Santos Costa 2009-12-03 22:54:31 +00:00
  • 97a27bd4b6 [ ] and {} should be handled by the scanner, not the parser (obs from Paulo Moura). Vitor Santos Costa 2009-12-03 22:51:29 +00:00
  • 1176f71f3a support for making sure exceptions are reset when they should be reset (obs from Nuno Fonseca, #159) Vítor Manuel de Morais Santos Costa 2009-12-03 17:48:25 +00:00
  • 71e4d73a75 make sure to reenable interrupts if you have to exit setup in a hurry (#158). Vítor Manuel de Morais Santos Costa 2009-12-03 17:46:21 +00:00
  • bc4b718afb follow import recursively so that we don't lose properties like being a meta predicate. Vitor Santos Costa 2009-12-03 16:33:44 +00:00
  • 742979eb9c maplist and friends should be exported from apply, not builtins (obs from Jan Wielemaker). Vitor Santos Costa 2009-12-03 16:33:10 +00:00
  • dcf0c87e8a apply should export all versions of maplist (#157) Vitor Santos Costa 2009-12-03 16:31:23 +00:00
  • e973a3ea40 fix SWI emulation of maplist to use meta_predicate instead of module_transparent. Vitor Santos Costa 2009-12-03 10:36:36 +00:00
  • 344a0a6e87 make sure expand_macros only expands predicates visible to the module. Vitor Santos Costa 2009-12-03 10:16:15 +00:00
  • 1bbf7ff16c | should use operator priority, not some built-in (#156) Vitor Santos Costa 2009-12-03 09:41:28 +00:00
  • 2d6934178b check for unbound calls (#154) Vitor Santos Costa 2009-12-03 09:08:06 +00:00
  • f08d8b4b04 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2009-12-03 02:14:07 +00:00
  • d2da5bfe26 fix setup_call_cleanup and friends. Vitor Santos Costa 2009-12-03 02:13:22 +00:00
  • 06d30b9fc9 Jump and Throw need to store the term away, if they try to use arena the term will hang in the stack (#152). Vitor Santos Costa 2009-12-02 21:59:41 +00:00
  • f01283bd28 new primitives trie_get_first_entry/2 and trie_get_last_entry/2 in tries module Ricardo Rocha 2009-11-27 19:10:36 +00:00
  • 8213d52af4 fix bad call to realloc (nf patches). Vitor Santos Costa 2009-11-27 18:46:11 +00:00
  • 506da0b1bf make write always protect operators when they are not used as operators so as to follow standard (#150). Vítor Manuel de Morais Santos Costa 2009-11-27 16:09:48 +00:00
  • 69988d0718 harmonize | priority (#149) Vítor Manuel de Morais Santos Costa 2009-11-27 15:55:46 +00:00
  • 53e91797b3 make modules kind of work here :( Vítor Manuel de Morais Santos Costa 2009-11-27 13:45:57 +00:00
  • 91a7fc3c66 fix bugs in backtrackable versions of atom_concat/3 and atomic_concat/3 (obs from Paulo Moura). Vítor Manuel de Morais Santos Costa 2009-11-27 13:45:18 +00:00
  • b16623d026 fix realloc and friends (obs from Nuno Fonseca). Vítor Manuel de Morais Santos Costa 2009-11-27 13:31:03 +00:00
  • d746afaa32 UserCode may changed YENV, so be careful, be very careful! (obs from Nuno Fonseca). Vítor Manuel de Morais Santos Costa 2009-11-27 13:14:30 +00:00
  • 98f79484ae change throw mechanism to fit better with cleanup mechanism: - balls are now stored off line and recovered by Prolog code when everything is safe. - if a ball exists, throw uses the *existing* one (be careful not to have one laying around). - Jump routine cleans up every cp except ones for setup_call handling, backtracking simply calls setup handlers. Vítor Manuel de Morais Santos Costa 2009-11-27 11:21:24 +00:00
  • 7f5da32c08 fix trail when you do a jumpenv (Ulrich Neumerkel #152) Vítor Manuel de Morais Santos Costa 2009-11-25 09:47:38 +00:00
  • 50d720a9c6 fix current_op/3 by walking over the chain of ops or properties and moving complex code to Prolog (obs from Paulo Moura). Vitor Santos Costa 2009-11-25 00:38:47 +00:00
  • ccaab728af handle user operators as "prolog" operators. Vitor Santos Costa 2009-11-25 00:38:29 +00:00
  • 2ab3308a56 fix restore of opentries. Vitor Santos Costa 2009-11-25 00:38:05 +00:00
  • 1136597f6f fix debugging info (obs from Jose Santos). Vitor Santos Costa 2009-11-23 23:43:12 +00:00
  • 9f27ab5ab3 fix typo in minisat compilation Vitor Santos Costa 2009-11-23 21:03:04 +00:00
  • 7640d65609 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Ricardo Rocha 2009-11-23 18:49:23 +00:00
  • 8a557012dd add primitive YAP_IsLongIntTerm to the C Language interface. Ricardo Rocha 2009-11-23 18:46:57 +00:00
  • 5e70ff47b3 TrueFileName was rewriting input atom in WIN32 :( (obs from Jos Deroo) U-Xato7\Vsc 2009-11-23 18:42:28 +00:00
  • dd60f64f42 WIN32 can get confused with C and c type files, so, just in case. U-Xato7\Vsc 2009-11-23 16:02:47 +00:00
  • 25b5464fe8 handle correctly next element after operator property. U-Xato7\Vsc 2009-11-23 16:02:05 +00:00
  • 691abd8243 check_opcodes is unused in WIN32_, don't declare it. U-Xato7\Vsc 2009-11-23 16:01:41 +00:00
  • b300db2e96 LOW_PROF uses FILE structure, and therefore requires stdio.h Vítor Manuel de Morais Santos Costa 2009-11-23 13:52:13 +00:00
  • 86715801bf fix missing stripostfix, and add stricmp (although one should use strcasecmp). Vítor Manuel de Morais Santos Costa 2009-11-23 13:41:07 +00:00
  • 56d9666197 port of SWI-Prolog's plunit. Vitor Santos Costa 2009-11-23 10:55:10 +00:00
  • fe6148ef15 be more cautions about removing prolog: from calls. Vitor Santos Costa 2009-11-23 10:15:11 +00:00
  • a1496769ad upgrade to more recent version. Vitor Santos Costa 2009-11-23 10:14:56 +00:00
  • 67999ec4df atomic_list_concat/2. Vitor Santos Costa 2009-11-23 10:14:23 +00:00
  • 2d2fb30167 atomic_list_concat/2 and fix some reverse mode ops in atom_concat/3. Vitor Santos Costa 2009-11-23 10:13:55 +00:00
  • 025ee58f58 some SWI predicates became system predicate. Add stubs for $ predicates. Vitor Santos Costa 2009-11-23 10:12:10 +00:00
  • c6406b822b prolog: multifiles are not really system predicates (they can be redefined). Vitor Santos Costa 2009-11-23 10:10:47 +00:00
  • 6852a0c861 make =@= an well known alias to variant. Vitor Santos Costa 2009-11-23 10:10:14 +00:00
  • 31e5c54125 support message_string/2 for SWI emulation. Vitor Santos Costa 2009-11-23 10:09:32 +00:00
  • e4c9d69044 in SWI mode allow new flags to be silently defined. Vitor Santos Costa 2009-11-23 10:06:51 +00:00
  • 657e0a13bd inline implemetation of a(2,1,X) should not return error, just silently fail. Vitor Santos Costa 2009-11-23 10:06:13 +00:00
  • 84f5dfec7d document souce_location/2. Vitor Santos Costa 2009-11-23 10:05:52 +00:00
  • b15d9c0363 add source_location for SWI compatibility Vitor Santos Costa 2009-11-23 10:02:40 +00:00
  • d91bab4247 make sure goal_expansion is never seen as an undefined goal. It should at least always succeed. Vitor Santos Costa 2009-11-23 10:01:55 +00:00
  • a132707746 undo PL_error updates Vitor Santos Costa 2009-11-21 22:21:17 +00:00
  • d637451bd6 make sure to put TR correctly (fixes copying DB terms with att vars #148) Vitor Santos Costa 2009-11-21 00:23:03 +00:00
  • 58cac4c8eb fixes for SYSTEM_MALLOC case (where we cannot trust Yap_HeapTop and Yap_HeapBase). Vitor Santos Costa 2009-11-20 08:52:00 +00:00
  • 1bfbe535da Extended support for SWI-Prolog C interface. nf@khaixa.(none) 2009-11-19 21:09:22 +00:00
  • ffe1dfdfff support for module based operators. Vitor Santos Costa 2009-11-20 00:33:14 +00:00
  • a2927c4a72 =@= needs not be in lib. Vitor Santos Costa 2009-11-20 00:32:45 +00:00
  • 628d181923 protect against var usage. Vitor Santos Costa 2009-11-20 00:32:14 +00:00
  • 73bba98946 add extra protection against useless shifts. Vitor Santos Costa 2009-11-20 00:31:09 +00:00
  • 26e4ce7e27 fix bug in restore operators. Vitor Santos Costa 2009-11-20 00:30:36 +00:00
  • 8c1ba9562a fix bad test in tabling mode. Vitor Santos Costa 2009-11-19 08:33:10 +00:00
  • d476e36a90 initialise LOCAL in system_malloc (obs from Jose Santos). Vitor Santos Costa 2009-11-19 08:25:08 +00:00
  • d9016fa650 init_local should be called Yap_init_local to avoid clashesh. Vitor Santos Costa 2009-11-19 08:24:38 +00:00
  • 432cce1c49 VISUALC++ understands prototypes, hurray! (obs from Cristiano Pitangui). Vitor Santos Costa 2009-11-18 23:39:18 +00:00
  • 9cbdf8f57e tiny cleanups. Vitor Santos Costa 2009-11-18 23:36:07 +00:00
  • 7ddaaa1362 Term is Unsigned so you cannot add a negative to it and get away :( Vitor Santos Costa 2009-11-18 23:33:09 +00:00
  • dcf7e282c8 bugs in restoring Heap: stuff repeated twice or at bad locations. Vitor Santos Costa 2009-11-18 23:32:31 +00:00
  • 6c887452e6 allow randomization of initial address, this enables testing restore routine. Vitor Santos Costa 2009-11-18 23:32:00 +00:00
  • 7155fbec22 fix bad ordering in HEAPFIELDS: OPERANDS must be well placed before we can recover atom table and dependent preds. Vítor Manuel de Morais Santos Costa 2009-11-18 15:48:29 +00:00
  • 71de4ed52a Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Vítor Manuel de Morais Santos Costa 2009-11-18 13:13:51 +00:00
  • c108ac508d check for callable before looking at predicate terms... Vítor Manuel de Morais Santos Costa 2009-11-18 13:13:16 +00:00
  • a316090f8c fix nth_instance: fix bugs and actually add two versions (obs from Theofrastos Mantadelis) Vítor Manuel de Morais Santos Costa 2009-11-18 13:06:37 +00:00
  • f31aeff952 fix bad order of comparison in NthClause. Vítor Manuel de Morais Santos Costa 2009-11-18 12:48:22 +00:00
  • 4b40e80fe5 CXX not CPP, you idiot! Vitor Santos Costa 2009-11-18 09:53:38 +00:00
  • 167e129222 make configuration changes to better support C++ and deeper included packages. Vitor Santos Costa 2009-11-18 09:29:26 +00:00
  • 939eda0050 just be consistent in calls. Vitor Santos Costa 2009-11-17 10:04:07 +00:00