Binprolog
binprolog
language
probably the fastest freely available c-emulated prolog. binprolog features:
logical and permanent global variables; backtrackable destructive -ssignment; 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)
Read Also:
- Bins
a box or enclosed place for storing grain, coal, or the like. to store in a bin. contemporary examples walmart’s dumb blame game daniel gross november 17, 2013 undercover muslim agents: mission accomplished michael daly october 18, 2012 the weird underground world of urban animal husbandry dale eisinger may 18, 2014 murdoch’s nemesis mike giglio […]
- Bint
a contemptuous term used to refer to a woman or girl. historical examples byeways in palestine james finn the poor scholar william carleton the english gipsies and their language charles g. leland the fifth battalion highland light infantry in the war 1914-1918 f.l. morrison byeways in palestine james finn going to maynooth william carleton noun […]
- Binturong
an arboreal civet, arctictis binturong, of asia, having a long, prehensile tail. historical examples chambers’s twentieth century dictionary (part 1 of 4: a-d) various the animal world, a book of natural history theodore wood noun an arboreal se asian viverrine mammal, arctictis binturong, closely related to the palm civets but larger and having long sh-ggy […]
- Binuclear
having two nuclei. adjective (biology) having two nuclei: a binucleate cell also binuclear, binucleated
- Binucleolate
binucleolate