Timeline
09/02/10: Today
- 04:48 Changeset [5704] by
-
Added support for the SHJS syntax highlighter.
09/01/10: Yesterday
- 03:36 Changeset [5703] by
-
Allow CxProlog? and SICStus Prolog to run coinduction examples.
08/31/10:
- 17:19 Changeset [5702] by
-
Added experimental support for coinductive predicates to the Logtalk compiler using a coinductive/1 directive. Added a new read-only flag, "coinduction". Requires a back-end Prolog compiler providing adequate support for cyclic terms (currently, ECLiPSe, SWI-Prolog, and YAP).
- 10:09 Changeset [5701] by
-
Corrected a bug where multifile/1 directives would only accept a single predicate indicator as argument.
08/30/10:
- 16:51 Changeset [5700] by
-
Minor updates to the "coinduction" example.
- 07:06 Changeset [5699] by
-
Added support for the "term_position" key to the new logtalk_load_context/2 built-in predicate.
08/27/10:
- 07:09 Changeset [5698] by
-
Added a coinductive absent/2 list predicate to the "coinduction" example.
08/26/10:
- 11:39 Changeset [5697] by
-
Added some more test queries to the "coinduction" example.
08/25/10:
- 09:18 Changeset [5696] by
-
Updated the "coinduction" example in order to use a single coinductive/1 directive, no longer making a distinction between old style coinduction and new style coinduction.
08/11/10:
- 04:20 Changeset [5695] by
-
Updated the coinduction example with a more efficient implementation of the coinductive1/1 directive. Dropped support for B-Prolog, CxProlog?, and GNU Prolog due to the lack of necessary support for rational terms.
08/10/10:
- 11:54 Changesets [5693-5694] by
-
Added basic documentation on the new logtalk_load_context/2 built-in predicate.
- 10:20 Changeset [5692] by
-
Added syntax coloring and code completion support for the new built-in predicate logtalk_load_context/2.
- 09:52 Changeset [5691] by
-
Removed syntax coloring of the long deprecated logtalk_version/3 built-in predicate from the Emacs support file.
