![]() Platforms: Solaris, Linux, Linux/Alpha, Mac OS X, Windows Info: Open source (GPL) implementation supporting Unicode, threads, sockets, processes, contexts, imperative data structures, and interfaces with C/C++, Java, and wxWidgetsĮCLiPSe Constraint Logic Programming System, subsuming Prolog. Info: Constraint logic programming language, for academic and research purposes only. or higher.Īvailable: E-mail request from Joxan Jaffar. Info: Requires GNU C (gcc) version 2.4.5. Info: Constraint logic programming over finite domains. ), source debugger, auto-documenter, static debugger, and more. ISO-Prolog + modules, networking, multi-threading, clp(r), clp(q), interfaces (Java, C, tcltk, functions, higher-order, records, persistence, objects, assertions (types, modes. Commercial functionality, but freely available w/source. Platforms: Linux, Win32 (95/98/NT), Solaris, SunOS, UNIX in general. Characteristics: reliable and quite fast beta version, command line interface, builtin DCG, XML-predicates, persistent predicates (using Firebird RDBMS), extendible. Info: A Prolog interpreter written in C#. Available under a Berkely style of copyright. Info: BAP is a parallel prolog system for Transputer systems. Supports BinNet Internet Programming Tool kit. Inexpensive Educational licensing available.Has built-in networking, multi-threading, mobile code and distributed blackboards. Info: Download free evaluation copies and see online demos. Platforms: Windows 95/98/NT, Linux and all major Unix platforms. Info: Free of charge for individual users. Platforms: Win32, Solaris, SunOS, UNIX, FreeBSD and Linux Arity/Prolog32 is a complete compiler and interpreter written in Prolog, C, and Assembly language and is a superset of Clocksin and Mellish Prolog. Arity/Prolog32 is a powerful, highly optimized, and extended version of the logic programming language Prolog. Info: Arity/Prolog32 provides a complete Prolog programming environment in which you can write, debug, and run Prolog programs in 32-bit Windows environments (95/98/NT/2000). Info: High performance, commercial functionality except debugging and modules. Info: Registration is compulsory, except for the Free Academic/Personal/Evaluation License. Info: WAM-based language with narrowing/rewriting ![]() ALF (Algebraic Logic Functional language) ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |