next up previous
Next: 2 Obtaining BinProlog Up: BinProlog 5.75 User Previous: BinProlog 5.75 User

1 Installation

EITHER:

   Edit `Makefile'. Change BINDIR and comment out ARCH_AND_OS,
   for example:

   BINDIR = /usr/local/bin
   ARCH_AND_OS = sparc.sunos

   then TYPE:

      make install

OR:

  Copy or symbolically link bin/bp<ARCH>.<OS>  to `bp'
  somewhere in your path, then type `bp'.

For multi-user installations set the BP_PATH variable to point to the
BinProlog source directory.

Normally the appropriate `bp' file (a C-ified self contained executable) is all you need to have BinProlog 5.75 running. For PCs, unzip the bpXXX.zip file and copy the 32 bit DOS or Windows (3.x, 95 or NT) file somewhere in your PATH.

To start BinProlog use

$ bp <command-line options> <wam-bytecode-file> or <prolog-file>

or simply

$ bp

Sizes of the blackboard, heap, stack, trail and code areas can be passed as command line parameters etc., as well as other options, as shown with bp -x help request:

-h ==> HEAP SIZE in Kbytes,  default:512 
-s ==> STACK SIZE in Kbytes, default:64 
-t ==> TRAIL SIZE in Kbytes, default:128 
-c ==> CODE SIZE in Kbytes,  default:512 
-b ==> BLACKBOARD SIZE in Kbytes, dynamic if 0, default:256 
-a ==> MAX. ATOMS, give exponent of 2, 2**default=8192 
-d ==> HASH DICT. entries, give exponent of 2,  2**default=32768 
-i ==> IOBUFFER, in bytes, default:131072 
-q ==> QUIETNESS level, default:0 
-l ==> LOAD_METHOD:
  (1=mcompile, 2=scompile, 3=oconsult, 4=dconsult, 5=sconsult): 1 
-r ==> call/update RATIO controlling dynamic recompilation:10 
-p ==> PORT to run on as a daemon if >0, 1 shorthand for 
       default_port, current default:0

ARGUMENTS:
  STARTUP FILE: *.bp, *.pl, *.wam or
  GOAL: pred(args),
  default: wam.bp

Type

?- help(<word>).

and then use info/1 with the matching predicate names to get a short description and possibly an example of use:

?- info(name/arity).

Type

?-info.

for a (long) description of builtins and examples.



next up previous
Next: 2 Obtaining BinProlog Up: BinProlog 5.75 User Previous: BinProlog 5.75 User



Paul Tarau
Thu Apr 3 10:26:39 AST 1997