home *** CD-ROM | disk | FTP | other *** search
/ The Datafile PD-CD 5 / DATAFILE_PDCD5.iso / utilities / b / binprolog / docs / bp_1 < prev    next >
Text File  |  1994-09-09  |  3KB  |  101 lines
  1. .nr X
  2. .TH bp 1 "1 Sep 1994"
  3. .SH NAME
  4. bp \- BinProlog System
  5. .SH SYNOPSIS
  6. \f4bp\f1
  7. [\f4\-h\f2 n\f1]
  8. [\f4\-s\f2 n\f1]
  9. [\f4\-t\f2 n\f1]
  10. [\f4\-c\f2 n\f1]
  11. [\f4\-b\f2 n\f1]
  12. [\f4\-i\f2 n\f1]
  13. [\f2filename\f1] 
  14. .SH AVAILABILITY
  15. .LP
  16. Various Unix systems and 32-bit extended DOS+Windows 3.1
  17.  
  18. .SH DESCRIPTION
  19.  
  20. BinProlog has been developped by Paul Tarau mostly
  21. at the University of Moncton, Canada,
  22. and is based on his BinWAM abstract machine,
  23. a specialization of the WAM
  24. for the efficient execution of binary logic programs.
  25.  
  26. BinProlog is a fairly complete Prolog
  27. implementation featuring both C-emulated execution
  28. and generation of standalone applications
  29. by compilation to C. Some other features are:
  30. Tcl/Tk interface,
  31. C-compatible floating point operations, dynamic code,
  32. intuitionistic and linear implication,
  33. efficient high-order programming builtins, logical
  34. global variables, backtrackable destructive assignment,
  35. circular term unification, extended DCGs (now built in
  36. the engine as `invisible grammars'), continuation
  37. manipulation primitives, a garbage-collected
  38. hashing based global dictionnary for constant-time sparse
  39. arrays and graphs, a C-interface (optional with C-source
  40. licensing) etc.
  41.  
  42. The \f4bp\fP command starts the BinProlog toplevel.
  43.  
  44. The directory \f4wam2c\fP contains a project (*.pro) file
  45. and a makefile for generating a standalone application
  46. through compilation to C.
  47.  
  48. The directory \f4TCL\fP contains a bidirectional pipe based
  49. BinProlog to Tcl/Tk interface.
  50.  
  51. The directory \f4cparser\fP contains
  52. Koen De Bosschere's ISO Prolog
  53. parser (written in C) and BinProlog standalones
  54. based on the parser (cbp.*).
  55.  
  56. The directory \f4multi\fP contains Koen De Bosschere's
  57. blackboard based distributed programming extension
  58. to BinProlog and BinProlog executables for Solaris 2.3 which 
  59. integrate them (mbp.*)
  60.  
  61. .SH OPTIONS
  62. .TP 10
  63. .B \-h\f2 n\f1 
  64. .B Heap size in Kb.
  65. .TP
  66. .B \-s\f2 n\f1
  67. .B Stack size in Kb.
  68. .TP
  69. .B \-t\f2 n\f1
  70. .B Trail size in Kb.
  71. .TP
  72. .B \-c\f2 n\f1
  73. .B Code size in Kb.
  74. .TP
  75. .B \-b\f2 n\f1
  76. .B Basement size in Kb.
  77. .TP
  78. .B \-d\f2 n\f1
  79. .B String Input-Output buffer in Kb.
  80. .TP
  81. .B \-d\f2 n\f1
  82. .B Exponent of 2 giving the number of entries in the global hashing table.
  83. .TP
  84. .B \-a\f2 n\f1
  85. .B Exponent of 2 giving the number of entries in the atom table.
  86. .TP
  87. .B \-q\f2 n\f1
  88. .B Level of quietness to suppress some verbose messages.
  89. .TP
  90. .B \f2filename \f1 
  91. .B Prolog run time system. When omitted, the filename 
  92. wam.bp is used by default.
  93.  
  94. .SH NOTES
  95. The latest release can be obtained
  96. by ftp from:  clement.info.umoncton.ca.
  97. Send bug reports and requests
  98. for licensing information
  99. to binprolog@info.umoncton.ca.
  100.  
  101.