“Parlog”的意思、由来-开放百科全书

词条

Parlog

释义

Further reading
References

Parlog is a logic programming language designed for efficient utilization of parallel computer architectures. Its semantics is based on first order predicate logic. It expresses concurrency, interprocess communication, indeterminacy and synchronization within the declarative language framework.^[1]

It was designed at Imperial College, London by Steve Gregory and Keith L. Clark, as a descendant of IC Prolog and Relational Language.^[2]^[3]

References

1. ^Andrew Cheese, "Parallel execution of Parlog", Springer, 1992, {{ISBN|3-540-55382-7}}, 184 pp.
2. ^"Programming distributed systems", by H. E. Bal, [https://books.google.com/books?id=LMg_ZL7CLAAC&pg=PA91&lpg=PA91&dq=parlog+gregory+clark&source=bl&ots=KDRY8jqHd4&sig=Mgv9589Ht6riImZbZfjelitCAM8&hl=en&ei=SiPDTb-4KMTZiALHhr2XAw&sa=X&oi=book_result&ct=result&resnum=1&ved=0CCIQ6AEwAA#v=onepage&q=parlog%20gregory%20clark&f=false pp. 91-93]
3. ^Steve Gregory, "Parallel Logic Programming in Parlog: The Language and Its Implementation", {{ISBN|0-201-19241-1}}, Addison-Wesley, 1987

4 : Logic programming languages|Concurrent programming languages|Academic programming languages|Dynamically typed programming languages

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。

Further reading

References