H ?
«
‹
←
→
›
»
Language peer sets for BNR Prolog:
Canada↑
Canada/1985↑
Designed 1985 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Genus Horn clause ↑
String and List Processing ↑
Horn clause↑
Context-based ↑
Data representation ↑
Horn clause/1985↑
Context-based /1985↑
Data representation/1985↑
Horn clause/Canada↑
Context-based /Canada↑
Data representation/Canada↑
String and List Processing ↑
String and List Processing/1985↑
String and List Processing/ca ↑
BNR Prolog(ID:1866/bnr002)
alternate simple view
Country: Canada
Designed 1985
Genus: Horn clause
Sammet category: String and List Processing
for Bell Northern Research Prolog
Constraint logic.
Related languages
Prolog |
→
|
BNR Prolog | |
Evolution of |
References:
Older, William J. (1990) Older, William J. ; André Vellino: Extending Prolog with Constraint Arithmetic on Real Intervals. Proceedings of the Canadian Conference on Electric and Computer Engineering 1990
Older, William J. (1991) Older, William J. ; André Vellino: Constraint Arithmetic on Real Intervals. WCLP 1991: 175-195
Older, William J. (1992) Older, William J. ; John A. Rummell: An Incremental Garbage Collector for WAM-Based Prolog. JICSLP 1992: 369-383
Frédéric Benhamou, William J. (1993) Frédéric Benhamou, William J. Older, André Vellino: Constraint Logic Programming on Boolean, Integer and Real Intervalls. Accepted for publication in Journal of Symbolic Computation
Older, William J. (1993) Older, William J. ; Frédéric Benhamou: Programming in CLP(BNR). PPCP 1993: 228-238
Abstract
Extract:
Introduction
Vellino, Andre; Peacocke, Dick (1993) Vellino, Andre; Peacocke, Dick "An Introduction to Prolog And BNR Prolog" Bell-Northern Research, Computing Research Laboratory, Computing Research Laboratory: June 2, 1993
Extract:
A Brief History of BNR Prolog
Older, William J. (1994) Older, William J. ; Application of Relational Interval Arithmetic to Ordinary Differential Equations. August 1994
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|