Commit Graph

  • 6ffa3eb06b ... Theofrastos Mantadelis 2010-12-02 14:48:28 +01:00
  • 7e59179622 fix bad SWI functor :( Vitor Santos Costa 2010-12-02 12:10:03 +00:00
  • b02507ed22 fix 32 bit atoms to ensure alignment at 8 bytes (broken with blobs). Vitor Santos Costa 2010-12-02 11:49:58 +00:00
  • 514758e65b imake call_foreign_function module aware. Vítor Santos Costa 2010-12-01 19:30:58 +00:00
  • 7f846cd17b Merge ../yap-6.2 Vitor Santos Costa 2010-12-01 14:04:55 +00:00
  • 22c27e0d5e fix debugging stuff. Vitor Santos Costa 2010-11-30 22:34:54 +00:00
  • bb679f15fd Merge ../yap-6.2 Vitor Santos Costa 2010-11-30 22:34:16 +00:00
  • aead067476 mv swi compatibility stuff to library/dialect Vitor Santos Costa 2010-11-30 22:33:33 +00:00
  • cb1307ded7 hack to fix differences in SWI compatibility. Vitor Santos Costa 2010-11-30 22:33:12 +00:00
  • 56c767f2b7 fix bad free Vitor Santos Costa 2010-11-30 22:12:30 +00:00
  • d2322818a9 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 Vitor Santos Costa 2010-11-30 22:05:19 +00:00
  • 7341d86758 Merge ../yap-6.2 Vitor Santos Costa 2010-11-30 22:02:42 +00:00
  • 0024a6a5e1 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-11-30 22:00:33 +00:00
  • 2d00dd15ab fix missing files Vitor Santos Costa 2010-11-30 21:59:45 +00:00
  • 28026e8cb3 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Theofrastos Mantadelis 2010-11-30 19:17:48 +01:00
  • 611af95e43 added anottated disjunctions Theofrastos Mantadelis 2010-11-30 19:17:25 +01:00
  • 4fc2132b5d Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-11-30 12:28:02 +00:00
  • 94194209ec Extended C predicates to have 10 arguments. Abramo Bagnara 2010-11-26 16:21:55 +01:00
  • 10a3d52de0 Merge ../yap-6.2 Vitor Santos Costa 2010-11-29 23:17:49 +00:00
  • 7b6f330bd3 improve blob support (but just skeleton). Vitor Santos Costa 2010-11-29 23:17:06 +00:00
  • 63ea05bde8 Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-11-29 18:45:50 +00:00
  • c454690a67 fix save_program to reload foreign files SWI style when restarting. Vítor Santos Costa 2010-11-29 18:44:39 +00:00
  • 40be6b56f2 Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-11-29 18:09:19 +00:00
  • 2a8854094b halt_hooks should not be in save/restore, this will cause trouble. Vítor Santos Costa 2010-11-29 18:08:29 +00:00
  • 863747da7b fix save/1 and save/2 to at least work now. Vítor Santos Costa 2010-11-29 18:08:11 +00:00
  • 338a6a1b9b Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-11-29 16:53:32 +00:00
  • eeee1a29b4 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 Vítor Santos Costa 2010-11-29 16:52:56 +00:00
  • a1d9a1d095 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vítor Santos Costa 2010-11-29 16:52:25 +00:00
  • e784d72c22 Fixed make clean bug for the tai package (reported by Roberto Bagnara). Paulo Moura 2010-11-29 15:36:23 +00:00
  • 4cf0b266f9 Merge ../yap-6.2 Vitor Santos Costa 2010-11-28 13:49:03 +00:00
  • fe1fbaf6f7 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-11-28 13:48:09 +00:00
  • d1a05d2fb4 Merge ../yap-6.2 Vitor Santos Costa 2010-11-28 11:53:16 +00:00
  • 2db6020e80 remove debugging message. Vitor Santos Costa 2010-11-28 11:52:56 +00:00
  • 4aee4df719 single initialization for top frame. Vitor Santos Costa 2010-11-28 11:51:31 +00:00
  • f4bda9b043 fix build compund term. Vitor Santos Costa 2010-11-28 11:50:41 +00:00
  • c47419ed03 better support for YAP portability. Vitor Santos Costa 2010-11-28 11:50:21 +00:00
  • 359855132a Corrected a db trie related bug Theofrastos Mantadelis 2010-11-27 16:34:18 +01:00
  • 92f647556d prolog_to_os_filename is now built-in. Vitor Santos Costa 2010-11-27 10:20:52 +00:00
  • 04949ddb37 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Paulo Moura 2010-11-27 00:13:34 +00:00
  • f604df8fec Commented out the definition of the predicate prolog_to_os_filename/2, now a built-in predicate, in order to fix CHR compilation. Paulo Moura 2010-11-27 00:13:00 +00:00
  • 1d30e5688b Merge ../yap-6.2 Vitor Santos Costa 2010-11-26 23:47:26 +00:00
  • 99f1249382 fix file_name_extension with '' as second arg (obs from Crhis Mungall) Vitor Santos Costa 2010-11-26 23:44:11 +00:00
  • 55d28f6ad5 Merge ../yap-6.2 Vitor Santos Costa 2010-11-26 23:37:36 +00:00
  • 471cc93f6c fix some bad code in legalAtom, allowing /a/b not to be quoted (obs from Paulo Moura). Vitor Santos Costa 2010-11-26 23:36:50 +00:00
  • f470a44efe Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-11-26 23:14:09 +00:00
  • 89280493d0 fix restopring from gfull saved states. Vítor Santos Costa 2010-11-26 18:02:44 +00:00
  • 31d0969585 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vítor Santos Costa 2010-11-25 16:33:50 +00:00
  • 969dcfa98c save should set slots. Vítor Santos Costa 2010-11-25 16:33:25 +00:00
  • 44105c6c49 forgot to add :-D Theofrastos Mantadelis 2010-11-24 21:53:16 +01:00
  • 5033588754 corrected an extension error Theofrastos Mantadelis 2010-11-24 18:39:07 +01:00
  • edae401189 Merge ../yap-6.2 Vitor Santos Costa 2010-11-24 10:02:04 +00:00
  • e03f030907 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-11-24 10:01:47 +00:00
  • bdc497cba0 Merge ../yap-6.2 Vitor Santos Costa 2010-11-24 08:44:37 +00:00
  • 69cde79ba6 PL_malloc and friends should call malloc, not Yap_Alloc Vitor Santos Costa 2010-11-24 08:44:03 +00:00
  • bd59f1e908 process needs maplist (obs from Nicos). Vitor Santos Costa 2010-11-24 08:42:26 +00:00
  • 35100fe515 add interface to SWI's prolog_to_os_filename/2 Vitor Santos Costa 2010-11-24 08:41:21 +00:00
  • 813b15d022 quick documentation for block_diagram Theofrastos Mantadelis 2010-11-23 13:24:05 +01:00
  • ccc1fee7ae Adding a new tool for yap: block_diagram, also fixed the term_to_atom/2 warning Theofrastos Mantadelis 2010-11-23 13:02:12 +01:00
  • fea1ec1941 Added documentation on the new built-in predicates cd/0, pwd/0, and ls/0. Paulo Moura 2010-11-23 00:25:33 +00:00
  • 907d10128d Commented out buggy patch for supporting quote atoms starting with /* as it breaks write_canonical/1. Paulo Moura 2010-11-23 00:12:41 +00:00
  • f9cd010242 do not reexecute function on restore if f_name is NULL. Vitor Santos Costa 2010-11-22 21:47:17 +00:00
  • 7d595c2402 Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-11-22 18:23:27 +00:00
  • 576d37510c fix ls/0. Vítor Santos Costa 2010-11-22 18:22:53 +00:00
  • 1ef6ecc171 Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-11-22 18:08:34 +00:00
  • ff95134c16 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 Vítor Santos Costa 2010-11-22 18:08:09 +00:00
  • a2286354c8 fix shared object stuff (obs from Roberto Bagnara). Vítor Santos Costa 2010-11-22 18:07:01 +00:00
  • 80b2253de1 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vítor Santos Costa 2010-11-22 17:53:42 +00:00
  • cee293fe3a Merge ../yap-6.2 Vitor Santos Costa 2010-11-22 12:52:07 +00:00
  • 2ee12ca1a7 only force 1E30 an error if in ISO mode. always 1.0e30. Vitor Santos Costa 2010-11-22 12:51:02 +00:00
  • 20699fd838 fix syntax error. Vitor Santos Costa 2010-11-22 12:50:50 +00:00
  • 9c91a63436 Merge ../yap-6.2 Vitor Santos Costa 2010-11-22 10:38:22 +00:00
  • 92bfc4cedc fix loop in c_files (obs from roberto bagnara). Vitor Santos Costa 2010-11-22 10:36:32 +00:00
  • 1730d4e206 fix profon profon (obs from Bernd). Vitor Santos Costa 2010-11-21 23:04:38 +00:00
  • 133e562adb fix profon profon (obs from Bernd). Vitor Santos Costa 2010-11-21 23:04:38 +00:00
  • cf59f9aedc Merge ../yap-6.2 Vitor Santos Costa 2010-11-21 22:12:20 +00:00
  • 7640700fdf [PATCH-YAP 6/6] ISO: compound(+1). now holds. from ulrich neumerkel Vitor Santos Costa 2010-11-21 22:11:10 +00:00
  • 0fa3fff5d5 [PATCH-YAP 5/5] ISO: reject 1E1 as float notation from ulrich neumerkel Vitor Santos Costa 2010-11-21 22:09:07 +00:00
  • c4913849c6 [PATCH-YAP 3/4] ISO: Restrict binary, octal, hexadecimal integer constant indicators and exponent char to minuscules. (6.4.4) from Ulrich Neumerkel Vitor Santos Costa 2010-11-21 21:55:58 +00:00
  • 86d0a251b5 [PATCH-YAP 4/4] ISO: quote atoms starting with /* (7.10.5 d) from ulrich neumerkel Vitor Santos Costa 2010-11-21 21:53:58 +00:00
  • 1b36c79733 ISO: conforming type errors for setof/3 etc ulrich neumerkel patch Vitor Santos Costa 2010-11-21 21:49:13 +00:00
  • bb570108de ISO: Always bracket atoms that are current operators when written as operands (7.10.5 h 2 ii) Vitor Santos Costa 2010-11-21 21:47:07 +00:00
  • edf11bb1d8 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vítor Santos Costa 2010-11-09 16:40:43 +00:00
  • 23d07e2d78 fix chr install (from Keri) Vítor Santos Costa 2010-11-09 16:39:34 +00:00
  • a0201aa53f Added implementation of the SWI-Prolog predicates pwd/0, cd/0, and ls/0 (work in progress). Paulo Moura 2010-11-09 16:36:22 +00:00
  • bad796702d follow up for using user defined ground Theofrastos Mantadelis 2010-11-09 15:12:34 +01:00
  • 94d6c3cebd Added a user modifiable ground handler for ProbLog probabilistic facts Theofrastos Mantadelis 2010-11-09 02:51:24 +01:00
  • a278bda787 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Theofrastos Mantadelis 2010-11-09 01:59:08 +01:00
  • 3432b7bb67 Correction of a huge dbtrie bug Theofrastos Mantadelis 2010-11-09 01:58:42 +01:00
  • 60f7678c01 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 Vítor Santos Costa 2010-11-08 16:08:51 +00:00
  • f34cd3cfea Merge ../yap-6.2 Vitor Santos Costa 2010-11-07 19:57:39 +00:00
  • c8c5c3d1dc Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-11-07 19:56:34 +00:00
  • c71af3ecad Merge ../yap-6.2 Vitor Santos Costa 2010-11-07 19:49:10 +00:00
  • a25a8f4243 from Keri Harris: Keri Harris to yap-users Vitor Santos Costa 2010-11-07 19:48:30 +00:00
  • d1c27fd31e Merge ../yap-6.2 Vitor Santos Costa 2010-11-07 19:45:44 +00:00
  • 1187afa64f fix install problems (Keri Harris) During the CHR bootstrap we attempt to dlopen shared libs that exist in $DESTDIR/$YAPLIBDIR: Vitor Santos Costa 2010-11-07 19:44:54 +00:00
  • 8f02054109 From Keri Harris Vitor Santos Costa 2010-11-07 19:32:40 +00:00
  • 1ff86ea4e5 Corrected meta_predicate/1 description and examples. Paulo Moura 2010-11-05 22:25:32 +00:00
  • b2b8fc480a Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-11-05 11:07:22 +00:00
  • 5df973a66f Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vítor Santos Costa 2010-11-05 11:00:50 +00:00
  • 6fb86625c6 fix operator declaration (patch from Ulrich Neumerkel) Vítor Santos Costa 2010-11-05 11:00:14 +00:00