binprolog

Computing Dictionary

BinProlog definition

language
Probably the fastest freely available C-emulated Prolog. BinProlog features:
logical and permanent global variables; backtrackable destructive assignment; circular term unification; extended DCGs (now built into the engine as "invisible grammars"); intuitionistic and linear implication based hypothetical reasoning; a Tcl/Tk interface.
Version 3.30 runs on SPARC/Solaris 2.x, SunOS 4.x; DEC Alpha 64-bit version; DEC MIPS; SGI MIPS; 68k - NeXT, Sun-3; IBM RS6000; HP PA-RISC (two variants); Intel 80386, Intel 486/Linux, MS-DOS, Microsoft Windows 3.1 (with DOS-extender go32 v1.10).
Multi-BinProlog is a multi-threaded Linda-style parallel extension to BinProlog for Solaris 2.3.
(ftp://clement.info.umoncton.ca/BinProlog/).
E-mail: Paul Tarau .
(1995-04-04)
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Explore Dictionary.com
Previous Definition: binoxide
Next Definition: bins
Words Near: BinProlog
More from Thesaurus.com
Synonyms and Antonyms for BinProlog
More from Reference.com
Search for articles containing BinProlog
More from Dictionary.com Translator
Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature