BinProlog

0.01 sec.

(language)

BinProlog - 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 <tarau@info.umoncton.ca>.

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			binocular accommodation binocular microscope Binocular Vision Binoculars binode binomen binomial binomial array binomial array antenna binomial coefficient Binomial Differential binomial distribution Binomial Equation binomial expansion binomial law Binomial Nomenclature binomial probability paper binomial random variable binomial series binomial surd Binomial Theorem binomial trials binomial trials model binormal binormal indicatrix BinProlog Binturong binuclear binucleolate binutils Binyon Binz Bío-Bío Bío-Bío River Bio-optics Bio-organic Chemistry Bioacoustics bioactivity bioarcheology bioartificial organs bioassay bioastronautics bioautography bioavailability Biobibliography biobubble biocalorimetry Biocatalysis biocatalyst Biocenology Biocenometer			binomial trials model Binomial triangle Binomial triangle binomially binomially binomially Binomials Binomials Binomials Binominal Binominal nomenclature Binominal nomenclature Binominal nomenclature Binominous Binondo Full Gospel Family Center Binormal binormal indicatrix binotic binotic binotic Binotonous Binous BINOVC binovular binovular binovular twins binovular twins Binoxalate Binoxide BINP BinProlog BINR bins bins bins bins BINSA BINSR Binswanger disease Binswanger's dementia Binswanger's dementia Binswanger's dementia Binswanger's dementia Binswanger's disease Binswanger's disease Binswanger's disease Binswanger's disease Binswanger's Subcortical Vascular Encephalopathy bint bint bint Abi Bakr BIntAffMgmt Bintamox Bintamox Bintan Industrial Estate Bintan Lagoon Resort Bintang Bakti Masyarakat BIntBus BIntDes Binte Bintec Router Redundancy Protocol

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.