Menu

Yield Prolog 1.0.2 Released

Release 1.0.2 has full support in Python, C# and Javascript for parser, compiler, dynamic predicates and an interactive shell (except the Python interactive shell is forthcoming).
This release fixes bugs so that it passes all but 8 of the 421 tests in the ISO Prolog test suite (see below).

As usual, download at:
http://sourceforge.net/project/showfiles.php?group_id=176875

Try the Javascript query editor at
http://yieldprolog.sourceforge.net/queryEditor.html

Or download the package and try the interactive YPShell.exe in the folder YieldProlog\bin.

Python is supported in Python 2.5.

C# is supported in Visual C# (Windows).
Mono support is incomplete until Mono 2.0 is released which includes this bug fix:
https://bugzilla.novell.com/show_bug.cgi?id=MONO82034

Javascript is supported in Firefox 3, which fully supports the yield keyword.
Seamonkey support is incomplete until Seamonkey 2 is released which includes this bug fix:
https://bugzilla.mozilla.org/show_bug.cgi?id=349326

See the documentation including how to use the compiler and module system at:
http://yieldprolog.sourceforge.net/tutorial4.html

New Features:
* Python upport for parser, compiler and dynamic predicates.
* Added document comments for getValue and unify.

Fixed Bugs:
* Catch exceptions in the YP.Catch constructor as well as next().
This makes catch(number_chars(A,L), error(instantiation_error, _), fail) pass the ISO test suite.

Known Issues:

Here are the 8 errors of the 421 tests in the ISO test suite in
YieldProlog\source\prolog\isoTestSuite.P .
Some of these have a good excuse for why Yield Prolog produces the error. The rest will be addressed in a future maintenance release.

Goal: call((fail, 1))
Expected: type_error(callable, (fail, 1))
Extra Solutions found: failure

Goal: call((write(3), 1))
Expected: type_error(callable, (write(3), 1))
Extra Solutions found: type_error(callable, 1)

Goal: call((1; true))
Expected: type_error(callable, (1 ; true))
Extra Solutions found: type_error(callable, 1)

Goal: (catch(true, C, write('something')), throw(blabla))
Expected: system_error
Extra Solutions found: unexpected_ball(blabla)

Goal: Goal: (X = 1 + 2, 'is'(Y, X * 3))
Expected: [[X <-- (1 + 2), Y <-- 9]]
Extra Solutions found: type_error(evaluable, /(+, 2))

Goal: 'is'(77, N)
Expected: instantiation_error
Extra Solutions found: N <-- 77)

Goal: \+(!, fail)
Expected: success
Extra Solutions found: failure

((X=1;X=2), \+((!,fail)))
Expected: [[X <-- 1],[X <-- 2]]
Extra Solutions found: failure

Posted by Jeff Thompson 2013-05-28

Log in to post a comment.