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

Commit Graph

  • b177a9e333 / is legal in Prolog, why did I comment that out? Vitor Santos Costa 2009-05-09 23:49:10 -04:00
  • e5a3150da0 ** and exp should not be compiled as ^. Vitor Santos Costa 2009-05-09 23:40:37 -04:00
  • 61973a2be6 be careful: error handling may have changed PC in call_c_with_fail! Vitor Santos Costa 2009-05-09 23:40:17 -04:00
  • 5b527e7eeb just make things prettier. Vitor Santos Costa 2009-05-09 23:39:57 -04:00
  • f53c741d96 improve low-level tracer. Vitor Santos Costa 2009-05-09 23:30:20 -04:00
  • 5b537ef7e2 fix error handling. Vitor Santos Costa 2009-05-09 23:30:08 -04:00
  • f065e9359b hProlog semantics requires checking *every* existing attributed variable (broken in recent patch). Vitor Santos Costa 2009-05-08 00:01:09 -04:00
  • d3632dd48c fix case where you may bind variable (eg, freeze(X,Y)), obs from Ulrich Neumerkel. Vitor Santos Costa 2009-05-07 23:51:18 -04:00
  • e4fdf5a1ff fix (??) X^N, N< 0. When does this make sense? Vitor Santos Costa 2009-05-07 23:42:16 -04:00
  • 21fa27526c generate error if module is unspecified (obs from Ulrich Neumerkel). Vitor Santos Costa 2009-05-07 23:14:28 -04:00
  • 7d37428f36 fix reporting state of unknown flag (obs from Paulo Moura). Vitor Santos Costa 2009-05-06 09:33:13 -05:00
  • 0cd9009132 remove debugging message. Vitor Santos Costa 2009-05-05 10:15:34 -05:00
  • 32b08082f7 fix clean_trail: with threads, objects may be above stack, not just below. Vitor Santos Costa 2009-05-05 09:56:47 -05:00
  • 6a6b18b045 send the abort message at the right place. Vitor Santos Costa 2009-05-04 22:31:03 -05:00
  • c2e6456c25 wait until sending out the abort message. Vitor Santos Costa 2009-05-04 22:30:47 -05:00
  • c31737fe3d make sure that a meta-call to functor/3 has an environment so that it can do garbage collection. Vitor Santos Costa 2009-05-04 21:57:08 -05:00
  • a077500795 should always be ENV Vitor Santos Costa 2009-05-04 21:56:49 -05:00
  • 780b629bff fix bad handling of trail overflow. Vitor Santos Costa 2009-05-04 21:26:47 -05:00
  • 10c38f8164 1. catch should not catch outside of scope! 2. when we are catching check for the first cleanup we can find; and while doing that going on rewinding variables, for SICStus compatibility. Vitor Santos Costa 2009-05-04 18:12:33 -05:00
  • 35c1cb6338 put future environment when waking up goals before failure. Vitor Santos Costa 2009-05-04 18:11:43 -05:00
  • e3293851a7 change variable names so that they are standard everywhere. Vitor Santos Costa 2009-05-04 18:11:11 -05:00
  • 42442bd360 make sure throw goes away on deterministic computations. Vitor Santos Costa 2009-05-04 18:10:07 -05:00
  • d7559c3f96 put a reminder that in the future YAP will give an exception on unknown. Vitor Santos Costa 2009-05-04 18:08:12 -05:00
  • 848e1209a2 make sure call_cleanup makes exception handler fail. Vitor Santos Costa 2009-05-04 14:02:17 -05:00
  • 9ce8df7bcd fix $skip_list (patch from Ulrich Neumerkel). It should be moved to C-code. Vitor Santos Costa 2009-05-04 11:53:24 -05:00
  • ced3448c9a error.pl should not be here (obs from Ulrich Neumerkel). Vitor Santos Costa 2009-05-04 11:41:01 -05:00
  • 6fd5e592d3 support probabilistic grammars from CLPBN Vitor Santos Costa 2009-05-02 14:22:54 -05:00
  • 9366e160e0 fix SHAREDIR for chr Vitor Santos Costa 2009-05-02 14:20:44 -05:00
  • 1f7b839e85 support exporting top-level-work as absolute path Vitor Santos Costa 2009-05-02 14:11:54 -05:00
  • 7b993ca987 this should be in packages, not in LGPL! Vitor Santos Costa 2009-05-02 14:11:10 -05:00
  • 8385f4bea6 saved state should be startup.yss, not startup.yss, in case YAP looks up saved state in current directory (obs from Ulrich Neumerkel). Vitor Santos Costa 2009-05-02 14:06:24 -05:00
  • 5c8fd76ab6 fix previous patch: it refers to current source. Vitor Santos Costa 2009-05-02 13:22:47 -05:00
  • 1e0e08be7f correct dir formatting for info including special ch (Ulrich Neumerkel). Vitor Santos Costa 2009-05-02 13:16:59 -05:00
  • bc39647627 fix gmp-less compilation (Tony Wilson). Vitor Santos Costa 2009-05-02 12:34:49 -05:00
  • 3603c6eb07 include popen for mingw compilation simplify Makefile a tiny bit. Vitor Santos Costa 2009-05-02 12:33:36 -05:00
  • a91e2f9030 make git ignore these files (Ulrich Neumerkel). Vitor Santos Costa 2009-05-02 11:00:21 -05:00
  • 86d08b42c4 Ulrich Neumerkel: add a docs/dir directory for people who want to use info there. Vitor Santos Costa 2009-05-02 10:56:32 -05:00
  • 2016e118b3 Ulrich Neumerkel's patch so that variables are declared in front of a block. Vitor Santos Costa 2009-05-02 10:54:09 -05:00
  • a8e3af4c33 Jean-Francois Mertens patches for OSX linking and compilation. Vitor Santos Costa 2009-05-02 10:35:29 -05:00
  • f209796c3b fix bad overflow handling Vitor Santos Costa 2009-05-01 12:46:34 -05:00
  • 496349e38a do not compile regex packages unnecessarily Vitor Santos Costa 2009-05-01 12:45:21 -05:00
  • 58838b7838 fix attributed variable space allocation Vitor Santos Costa 2009-05-01 12:11:52 -05:00
  • ee44706d37 fix bad initialization of H0 in tabling Vitor Santos Costa 2009-05-01 12:09:49 -05:00
  • 91b3e4359d handle tabling errors where CP->AP==NULL Vitor Santos Costa 2009-05-01 12:09:22 -05:00
  • 8275f2232c fix handling of multiassignment variables with tabling; fix bad overflow handling when copying terms from tries. Vitor Santos Costa 2009-05-01 11:53:59 -05:00
  • 04f3b32a9a clean code a little bit. Vítor Santos Costa 2009-04-29 14:22:20 +01:00
  • 8c3406adac don't forget to globalise variables before making them global. Vítor Santos Costa 2009-04-29 14:21:52 +01:00
  • bcfa642520 fix info install (from Jean-François Maertens) Vitor Santos Costa 2009-04-28 15:02:37 -05:00
  • ecb54b0f63 fix syntax error (again!) Vitor Santos Costa 2009-04-27 18:28:43 -05:00
  • 9c4e4b12bb fix syntax error without GMP Vitor Santos Costa 2009-04-27 17:20:53 -05:00
  • 61ad7c6da8 fix non-gmp calls to arith2 Vitor Santos Costa 2009-04-26 19:24:21 -05:00
  • a89f9a35ba keep a reminder that maybe we want to be careful about stack expansion. Vitor Santos Costa 2009-04-26 11:16:56 -05:00
  • 5baaf79916 fix call_with_args/.. (obs from Jose Santos). Vitor Santos Costa 2009-04-26 11:16:40 -05:00
  • 6c10e49eb8 remove debugging writeln Vitor Santos Costa 2009-04-26 10:56:19 -05:00
  • bb80c8d61c should use YENV, not ENV. Vitor Santos Costa 2009-04-26 10:51:18 -05:00
  • e7b01f64d0 don't add minimums, compare them for memory overflows. Vitor Santos Costa 2009-04-26 10:50:56 -05:00
  • e06ee4d4fa avoid over enthusiastic stack expansion. Vitor Santos Costa 2009-04-26 10:50:10 -05:00
  • 4cdfbae62a allow garbage collection when we store error term. Vitor Santos Costa 2009-04-26 10:48:32 -05:00
  • 2b79d5aada fix case where we call YAP with very large arities (obs from Ulrich Neumerkel). Vitor Santos Costa 2009-04-26 10:47:41 -05:00
  • 3fff188701 fix maplist and friends to handle non-var non-ground arguments (obs from Jose Santos). Vitor Santos Costa 2009-04-26 10:46:53 -05:00
  • c5ba7e3854 fix non GMP code (obs from Tony Wilson). Vitor Santos Costa 2009-04-26 10:46:00 -05:00
  • 710d15e506 fix numlist/3 Vitor Santos Costa 2009-04-25 13:00:09 -05:00
  • 8ffcaf612e fix emulation of goal_expansion. Vitor Santos Costa 2009-04-25 12:56:01 -05:00
  • c04eb48f12 new version of clpfd.pl Vitor Santos Costa 2009-04-25 12:55:23 -05:00
  • 95ee0d9148 support calling attribute_goals. Vitor Santos Costa 2009-04-25 12:54:50 -05:00
  • 50fd7dca5a support thread_initialization. Vitor Santos Costa 2009-04-25 12:54:21 -05:00
  • c132e7e6ec fix gmp support to give out of resource error if the bignum is too big. Vitor Santos Costa 2009-04-25 11:01:33 -05:00
  • 09d33c6cad try to give more helpful message in console aborts Vitor Santos Costa 2009-04-25 11:00:39 -05:00
  • 2be95d87c6 Ulrich's fixes to documentation. Vitor Santos Costa 2009-04-25 10:59:23 -05:00
  • d02e14415b another fix to FileFromStream Vitor Santos Costa 2009-04-25 10:59:05 -05:00
  • 7628c875e8 make sure to be compatible with non-gcc/old gcc Vitor Santos Costa 2009-04-25 10:58:42 -05:00
  • 9ef589aef7 simplify output messages Vitor Santos Costa 2009-04-25 10:58:21 -05:00
  • 450123d5c6 fix FileNoFromStream Vitor Santos Costa 2009-04-25 10:28:34 -05:00
  • 291997ad77 fix FileDescriptorFromStream Vitor Santos Costa 2009-04-25 10:27:55 -05:00
  • 065a88d0cc fix grammer expansion. Vitor Santos Costa 2009-04-24 21:41:26 -05:00
  • fadec66d2c gmp_should always recover space for the temporary bignum. Vitor Santos Costa 2009-04-24 19:10:53 -05:00
  • 2503805aff support 2^2 is 4 and not 4.0: complicated if we have to deal with bignums. Vitor Santos Costa 2009-04-24 19:03:00 -05:00
  • e3aeb48af6 call_cleanup/3 should allow exceptions to go through, even if cleaner itself calls an exception (obs from Ulrich Neumerkel). Vitor Santos Costa 2009-04-24 18:06:33 -05:00
  • eef4b3cad2 fix apply_macros calling maplist (not that it is very much used, most of always will go through expand_macros). Vítor Santos Costa 2009-04-24 22:48:24 +01:00
  • 23e258bdd4 fix the apply_macros/maplist conundrum! Vítor Santos Costa 2009-04-24 22:43:08 +01:00
  • 71d63dacac apply_macros.yap should do this (and more). Vítor Santos Costa 2009-04-24 21:46:27 +01:00
  • 1c053da021 support missing SWI functionality: phrase/2 and phrase/3. Vítor Santos Costa 2009-04-24 21:45:41 +01:00
  • 8a4fb12d75 is_list is now a builtin. Vítor Santos Costa 2009-04-24 21:03:10 +01:00
  • 5fbede1afa YAP can emulate apply.pl with apply_macros.yap. Vítor Santos Costa 2009-04-24 21:01:09 +01:00
  • b5dc71d080 is_list/1 is now a builtin. Vitor Santos Costa 2009-04-24 10:31:53 -05:00
  • ad617951ec clpqr is now a separate package. Vitor Santos Costa 2009-04-24 10:01:27 -05:00
  • 13f66957b6 break should restore system_mode. Vitor Santos Costa 2009-04-23 11:48:06 -05:00
  • 6acf7eeb0a fix bad ordering in tests Vitor Santos Costa 2009-04-23 10:36:11 -05:00
  • 08320410cb fix missing comma in declarations. Vitor Santos Costa 2009-04-23 09:12:03 -05:00
  • 1ea4a27dd1 YAP_FileNoFromStream for Nf Vitor Santos Costa 2009-04-22 21:42:15 -05:00
  • 63dca6e589 get rid of depend Vitor Santos Costa 2009-04-22 21:42:00 -05:00
  • 7d25a1da53 ENABLE_WINCONSOLE badly defined. Vitor Santos Costa 2009-04-22 21:35:05 -05:00
  • bb147a3b48 fix depend Vitor Santos Costa 2009-04-22 21:30:02 -05:00
  • 88289b1fe3 get rid of depend Vitor Santos Costa 2009-04-22 21:22:04 -05:00
  • 7d0341bec9 fix Makefile to use new style depend Vitor Santos Costa 2009-04-22 17:56:48 -05:00
  • c271850269 configure support for new depend files. Vitor Santos Costa 2009-04-22 17:51:56 -05:00
  • c216bd3b43 fix depend stuff. Vitor Santos Costa 2009-04-22 17:48:53 -05:00
  • daf674bb4d declae all modules. Vitor Santos Costa 2009-04-22 17:34:31 -05:00
  • 35f38c93be declare nw function Vitor Santos Costa 2009-04-22 17:34:08 -05:00
  • 7ed3b456ac add Yap_FileDescriptorFromStream at request from NF. Vitor Santos Costa 2009-04-22 16:41:41 -05:00