Falcon: Functional and Logic Language with Constraints
暂无分享,去创建一个
[1] Laurent Fribourg,et al. SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting , 1985, SLP.
[2] José Meseguer,et al. Models and Equality for Logical Programming , 1987, TAPSOFT, Vol.1.
[3] Alain Colmerauer,et al. Opening the Prolog III universe , 1987 .
[4] Robin Milner,et al. A proposal for standard ML , 1984, LFP '84.
[5] Nachum Dershowitz,et al. Conditional Equational Programming and the Theory of Conditional Term Rewriting , 1988, FGCS.
[6] Jean-Marie Hullot,et al. Canonical Forms and Unification , 1980, CADE.
[7] José Meseguer,et al. Equality, Types, Modules, and (Why not ?) Generics for Logic Programming , 1984, J. Log. Program..
[8] Vijay A. Saraswat,et al. Concurrent constraint programming , 1989, POPL '90.
[9] Lars-Henrik Eriksson,et al. A Survey of GCLA: A Definitional Approach to Logic Programming , 1989, ELP.
[10] Guy L. Steele,et al. The definition and implementation of a computer programming language based on constraints , 1980 .
[11] Alan Mycroft,et al. A Polymorphic Type System for Prolog , 1984, Logic Programming Workshop.