ESPRIT '88: Putting the Technology to Use : Proceedings of the 5th Annual ESPRIT Conference, Brussels, November 14-17, 1988, Part 2North-Holland, 1988 - 1759 pages |
From inside the book
Results 1-3 of 91
Page 1259
In this paper we present a method that has been developed for specificying the
concurrent logic programming language PARLOG. This method is an adaptation
of that used in the specification of the ISO standard Prolog [DR87]. The semantics
...
In this paper we present a method that has been developed for specificying the
concurrent logic programming language PARLOG. This method is an adaptation
of that used in the specification of the ISO standard Prolog [DR87]. The semantics
...
Page 1267
goal.4(R, S) goal4(R, B) goal.4(R, Q) SucCCSS We see in this case that the
PARLOG interpreter does not provide any solution (no compatible substitution in
the tree). Therefore, we describe the semantics of a PARLOG couple program-
goal(P ...
goal.4(R, S) goal4(R, B) goal.4(R, Q) SucCCSS We see in this case that the
PARLOG interpreter does not provide any solution (no compatible substitution in
the tree). Therefore, we describe the semantics of a PARLOG couple program-
goal(P ...
Page 1270
Finally, this specification method allows, without any major difficulties, the
treatment of predicates and operators whose semantics is purely operational.
This has been proven by the treatment of sequential conjunction and sequential
search ...
Finally, this specification method allows, without any major difficulties, the
treatment of predicates and operators whose semantics is purely operational.
This has been proven by the treatment of sequential conjunction and sequential
search ...
What people are saying - Write a review
We haven't found any reviews in the usual places.
Contents
Client Design for the MULTOS Multimedia Office Filing System | 893 |
Speech Integration in an Office Demonstrator Project | 906 |
Natural Language Dialogue in an Office Environment Project | 917 |
Copyright | |
57 other sections not shown
Other editions - View all
Common terms and phrases
abstract activities algorithm allows analysis application architecture basic CCITT CFRV client CNMA COMANDOS communication complex components concept database defined described Directory Discrete Cosine Transform distributed document processing domain entities environment ESPRIT Project evaluation factors FAOR Figure format functions gateway graphical hardware implementation input integration interaction internal invocation kernel language layout logical LOTOS machine manufacturing mapped Mbit/s messages method methodology module node object oriented office information system operating system packet PANGLOSS performance Petri nets phase planning possible predicates procedure processors production programming protocol query QUIPU reference requirements ring robot scheme selection semantics server SGML slot specification standard structure subnetworks subsystem task techniques token ring UCOL UNIX uptake user interface workcells workstation X Window System