H ? « »

Language peer sets for Beta-Prolog:
Designed 1992
1990s languages
Fifth generation
Post-Cold War
Genus Horn clause
String and List Processing
Horn clause
Data representation
Horn clause/1992
Context-based /1992
Data representation/1992
Horn clause/Japan
Context-based /Japan
Data representation/Japan
String and List Processing
String and List Processing/1992
String and List Processing/jp


alternate simple view
Country: Japan
Designed 1992
Genus: Horn clause
Sammet category: String and List Processing

Prolog enhanced to directly manipulate Boolean tables

Neng-Fa Zhou, CSSE, Kyushu Institute of Technology

Related languages
Prolog Beta-Prolog   Extension of

  • Neng-Fa Zhou, Isao Nagasawa (1992) Neng-Fa Zhou, Isao Nagasawa "Implementing Graph Algorithms in BeTa-Prolog" IWAR 1992 pp23-32
  • Neng-Fa Zhou (1993) Neng-Fa Zhou "Beta-Prolog: An Extended Prolog with Boolean Tables for Combinatorial Searching" ICTAI 1993 ''312-319
  • Neng-Fa Zhou (1993) Neng-Fa Zhou "Global Optimizations in a Prolog Compiler for the TOAM" J. Logic Programming, Vol.15, pp.265-294, 1993
  • Neng-Fa Zhou (1994) Neng-Fa Zhou "On the Scheme of Passing Arguments in Stack Frames for Prolog, ICLP'94, pp.159-165, 1994
  • Neng-Fa Zhou, Isao Nagasawa (1994) Neng-Fa Zhou, Isao Nagasawa "An Efficient Finite-Domain Constraint Solver in Beta-Prolog" JJSAI 9(2) 1994 Abstract online copy
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder