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