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

Commit Graph

  • 503d97af90 make top-level error handling a bit more compatible with SWI. Vitor Santos Costa 2009-03-10 18:07:50 +00:00
  • fc2e01f320 improve code for disjunctions by trying to avoid permanent variables. Vitor Santos Costa 2009-03-10 16:24:26 +00:00
  • e4d6b529c7 fix bad merge in put/get instructions Vitor Santos Costa 2009-03-10 16:23:43 +00:00
  • 7726944e1b back to normal. Vitor Santos Costa 2009-03-10 16:22:45 +00:00
  • 21aba71211 get rid of unused builtins. Vitor Santos Costa 2009-03-10 16:21:33 +00:00
  • b744fabb71 new predicates for variable search in term. Vitor Santos Costa 2009-03-10 16:21:05 +00:00
  • eb5fc96ca6 simplecudd should not be a default. Vítor Santos Costa 2009-03-10 14:19:10 +00:00
  • e7634b216e fix configure.in not to ask for ProbLog path file. Vitor Santos Costa 2009-03-10 09:41:22 +00:00
  • cd548813fd make $variables_in_term/3 check for repeated variables, ie (vint(a(X),[X],[X])). Vitor Santos Costa 2009-03-09 14:15:41 +00:00
  • 828964c3c1 remove optimised arithmetic instructions. They made the emulator even bigger than usual, and they were not performing. Vitor Santos Costa 2009-03-09 11:52:01 +00:00
  • 43019a496f last fixes of ProbLog Vitor Santos Costa 2009-03-09 00:45:14 +00:00
  • 4af5713fd2 use current version of library Vitor Santos Costa 2009-03-09 00:44:30 +00:00
  • 0aadc24d20 config support for Makefile. Vitor Santos Costa 2009-03-09 00:43:45 +00:00
  • 014d6fdacb configure support for ProbLog Vitor Santos Costa 2009-03-09 00:43:18 +00:00
  • a6747da26e simplecudd interface Vitor Santos Costa 2009-03-09 00:42:12 +00:00
  • 620ac64fdd git learning stuff. Vitor Santos Costa 2009-03-09 00:40:50 +00:00
  • 1c87f3b41a Updated ProbLog Makefile and updated Problog top files. Vitor Santos Costa 2009-03-09 00:40:12 +00:00
  • b04e6a2c2e remove old submodules. Vitor Santos Costa 2009-03-06 11:33:58 +00:00
  • 3bcee78224 another attempt at removing package chr. Vitor Santos Costa 2009-03-06 11:29:12 +00:00
  • 66931e6518 Prolog dialect support Vitor Santos Costa 2009-03-06 10:59:02 +00:00
  • f01fd0fbee update ProbLog Vitor Santos Costa 2009-03-06 09:53:09 +00:00
  • afd979a246 improve substantially handling of soft disjunctions. Vitor Santos Costa 2009-03-05 16:12:21 +00:00
  • 15b86cded4 new merged instructions and small changes to the emulator. Vitor Santos Costa 2009-03-03 10:04:13 +00:00
  • 37b0f7cf9b document nb_queue/2 Vitor Santos Costa 2009-02-27 22:30:28 +00:00
  • d98c3f0817 add support for sized queues. Vitor Santos Costa 2009-02-27 22:22:49 +00:00
  • 0b4b0d0a18 fix equality between float and integer, and simplify code in general. Vitor Santos Costa 2009-02-27 22:10:52 +00:00
  • d4eb240c41 try to get some more wiggle room. Vitor Santos Costa 2009-02-27 12:57:08 +00:00
  • 258d63edeb forgot to mark objects in registers. Vitor Santos Costa 2009-02-27 12:56:27 +00:00
  • 48eaa975f2 if we have many embedded calls to nb_queue, make sure we don't allocate a lot of memory for each one. Vitor Santos Costa 2009-02-27 00:31:29 +00:00
  • 51875c627a avoid excessive overflows and too large overflows in delay stack. Vitor Santos Costa 2009-02-26 23:06:27 +00:00
  • d7c2c74acc fix counting of C-pred: it should not be in caller. Vitor Santos Costa 2009-02-26 00:00:23 +00:00
  • 95fc66be25 more fixes to profiling code. Vitor Santos Costa 2009-02-25 22:15:18 +00:00
  • 083b7c9b92 improve compilation of arithmetic and other builtins, this should make it more aggressive (and still correct). Vitor Santos Costa 2009-02-25 00:13:56 +00:00
  • 91657556ee more UDI stuff. Vitor Santos Costa 2009-02-25 00:13:45 +00:00
  • 2bc5d8425a fix arithmetic dependence on Prolog table. Vitor Santos Costa 2009-02-25 00:12:36 +00:00
  • ffb621c53b improve support for UDI. Vitor Santos Costa 2009-02-20 15:52:17 +00:00
  • 84ebc2b2f2 RTree UDI support (written by David Vaz). Vitor Santos Costa 2009-02-20 11:44:00 +00:00
  • 94ebb90719 UDI patch: make it work with YAP. Vitor Santos Costa 2009-02-20 11:42:48 +00:00
  • ad2d073184 allow better writing of inlined operations disallow eval.yap Vitor Santos Costa 2009-02-16 21:04:30 +00:00
  • 419e0e369f fix packages Vitor Santos Costa 2009-02-16 17:22:57 +00:00
  • e9e01815af more packages stuff Vitor Santos Costa 2009-02-16 17:19:43 +00:00
  • e5d11cfa16 MYDDAS is too closely integreated to be a package. Vitor Santos Costa 2009-02-16 17:15:21 +00:00
  • 0f58cf8029 small fixes Vitor Santos Costa 2009-02-16 12:53:29 +00:00
  • 107af59dd8 BEAM is not quite a package Vitor Santos Costa 2009-02-16 12:33:37 +00:00
  • a000af113b OSX portability updates start of support for commons prolog initiative Vitor Santos Costa 2009-02-16 12:25:03 +00:00
  • 9c9444bece update package locations to a subdir packages Vitor Santos Costa 2009-02-16 12:23:29 +00:00
  • 495ff55868 add GIT instructions. Vitor Santos Costa 2009-02-16 12:16:07 +00:00
  • d0de8a9f7d include fixes from stable releasew Vítor Santos Costa 2009-02-16 09:55:31 +00:00
  • f7046286a0 cleanups and a bug fix (it is lp now, not just p as before). Vítor Santos Costa 2009-02-12 21:45:41 +00:00
  • 78bd156a20 trivial interface to udi code (for now). Vítor Santos Costa 2009-02-12 21:40:44 +00:00
  • 8a6e0acedc compiler support for udi including user_index instruction Vítor Santos Costa 2009-02-12 21:35:31 +00:00
  • 5d21f7a3d2 add script to build atom info files Vítor Santos Costa 2009-02-12 21:35:14 +00:00
  • 4b826e76ae support for user defined indexing: step 1 basic routines. Vítor Santos Costa 2009-02-12 16:39:20 +00:00
  • 1191b039d5 include support for dynamically created clause lists. Vitor Santos Costa 2009-02-11 15:10:57 +00:00
  • 76971fa724 add ProbLog to YAP distribution Vitor Santos Costa 2009-02-10 23:57:45 +00:00
  • 9a0d481528 avoid too many discontiguous warnings by keeping track of last clause predicate. Vitor Santos Costa 2009-02-10 23:42:26 +00:00
  • 0886bd2e59 get rid of unused mk_cl_not_first. Vitor Santos Costa 2009-02-10 23:17:41 +00:00
  • a40dc14525 fix discontiguous warnings Vitor Santos Costa 2009-02-10 23:03:25 +00:00
  • e08cef278a fix debugging message. Vitor Santos Costa 2009-02-10 22:56:12 +00:00
  • 3439cc8787 From Jose Santos: rb_map is a meta_predicate! Vitor Santos Costa 2009-02-10 22:53:40 +00:00
  • 8dbda5580d from Paulo Moura: fix bad expansion of once/1. Vitor Santos Costa 2009-02-10 22:47:47 +00:00
  • 1b41a08e74 fix indexing of tabling predicates: make sure we don't jump to the middle of the code if we come from a retry. Vitor Santos Costa 2009-02-10 22:35:54 +00:00
  • 5efc438e49 fix put_att_term/2: bad arity and would not bind first arg if unbound var. Vitor Santos Costa 2009-02-10 14:56:43 +00:00
  • fe85e92992 fixes for x86_64 compilation (with David Vaz). Vitor Santos Costa 2009-02-10 14:24:20 +00:00
  • c750dd94f1 indexing code was not looking at tabled code. Vítor Santos Costa 2009-02-09 23:34:12 +00:00
  • 33b4a02fae extend C-interface to check if a variable is AttVar and to fetch all the attributes. Vitor Santos Costa 2009-02-09 22:45:50 +00:00
  • bde2b57f07 compile =/2 to use an extra temporary, and not ARG1. Vitor Santos Costa 2009-02-09 22:29:44 +00:00
  • 89635fb1f6 optimise is/2 as a binary predicate. Vitor Santos Costa 2009-02-09 22:21:58 +00:00
  • 8a3978e3e1 rename BinaryTestPredFlag to BinaryPredFlag get rid of small annoying arithmetic bugs Vitor Santos Costa 2009-02-09 21:56:40 +00:00
  • 30e946cc30 fix case where very big negative integer could have two representations. Vítor Santos Costa 2009-01-12 15:08:26 +00:00
  • 76e521f3ff fix bad call of float/GMP routines. Vítor Santos Costa 2009-01-05 14:32:21 +00:00
  • 11eed457c1 use automatucally generate code to find indexing information. Vítor Santos Costa 2008-12-29 00:14:47 +00:00
  • 065882ffb8 don't split on space, just on tabs. Vítor Santos Costa 2008-12-29 00:14:24 +00:00
  • 73373e1ca5 global arena is now allocated in the C-code, when initing stacks. Vítor Santos Costa 2008-12-29 00:13:28 +00:00
  • 90d95fdf17 fix bad comparisons in devel version. Vítor Santos Costa 2008-12-29 00:12:54 +00:00
  • 331d1830dd fix throw (it should undo bindings). Vítor Santos Costa 2008-12-29 00:11:05 +00:00
  • 18d5fa12e4 fix case where compiler would coredump on badly typed arguments to functor/3. Vítor Santos Costa 2008-12-28 11:00:38 +00:00
  • 5e09d8e1bd make sure that we restore even if only the X registers moved. Vítor Santos Costa 2008-12-28 11:00:05 +00:00
  • 95a15bb689 fix small mistakes in output_ewalks. Vítor Santos Costa 2008-12-26 09:26:17 +00:00
  • b1cf60cafb moe changes to support atomic generation of atoms support automatic generation of code walker (to find P's predicate and clause) Vitor Santos Costa 2008-12-24 09:04:44 +00:00
  • f679f21a71 cleanup unnecessary MkFunctor Vitor Santos Costa 2008-12-23 02:20:22 +00:00
  • a8ac9bfb43 generate known atoms and functors automatically Vítor Santos Costa 2008-12-23 01:53:52 +00:00
  • 8efcdf7eaa add support for creating a list of codes or atoms incrementally. Vítor Santos Costa 2008-12-22 13:49:44 +00:00
  • 7598b56c38 fix prompt in silent mode (obs from Tony Wilson) Vitor Santos Costa 2008-12-22 12:44:49 +00:00
  • 915ae47d18 fix ~R bug (thanks to Carsten Mueller) Vítor Santos Costa 2008-12-22 12:16:31 +00:00
  • 43e70f2003 more changes to support SWI Input/Output. Now it compiles, which does not mean it would work! Vítor Santos Costa 2008-12-22 12:03:14 +00:00
  • 60b899ee4d q# Vítor Santos Costa 2008-12-22 12:02:22 +00:00
  • e51a4c2f5b more changes to interface better with SWI-Prolog Vítor Santos Costa 2008-12-19 11:41:56 +00:00
  • a2744ed186 further changes to better support SWI interface. Vítor Santos Costa 2008-12-17 14:47:05 +00:00
  • f19db29647 support split on blank spaces (tab and spaces). Vítor Santos Costa 2008-12-17 14:46:39 +00:00
  • 14a162dc6a fix compilation of NewX = f instructions. Vítor Santos Costa 2008-12-13 21:22:07 +00:00
  • 875a4553d5 fix dump of compiler intsructions. Vítor Santos Costa 2008-12-13 21:21:24 +00:00
  • 2b0c27deb6 Remove attempt to emulate SWI I/O add YAP_getcwd and PL_cwd to interface Vítor Santos Costa 2008-12-13 16:07:55 +00:00
  • e0531d0743 fix bad access flags call. Vítor Santos Costa 2008-12-12 22:46:32 +00:00
  • 8c4c7b4ae5 fix unbound call to current_predicate/2 Vítor Santos Costa 2008-12-12 22:45:41 +00:00
  • fdf06f486d replace if-then-else optimisation by the new mechanism. Vítor Santos Costa 2008-12-09 14:23:19 +00:00
  • a36be5bf20 massive changes to support new scheme for arithmetic: - compilation and assembly support Vítor Santos Costa 2008-12-09 12:54:27 +00:00
  • 2e8d898e86 add new eval compiler fix garbage collector for new big allocation scheme. Vítor Santos Costa 2008-12-05 16:08:44 +00:00
  • 8bcafd417a include new arithmetic optimiser. Vítor Santos Costa 2008-12-04 23:37:25 +00:00
  • e737599dc4 Change to simpler Eval mechanism - avoid duplicate code - implement different optimised code. Vítor Santos Costa 2008-12-04 23:33:32 +00:00