Meta-control on logic programming
碩士 === 國立臺灣大學 === 資訊科學研究所 === 74 ===
Main Authors: | LIN, YAO-LING, 林耀鈴 |
---|---|
Other Authors: | LIN, YI-PENG |
Format: | Others |
Language: | zh-TW |
Published: |
1986
|
Online Access: | http://ndltd.ncl.edu.tw/handle/65653295271913680742 |
Similar Items
-
Meta-language in logic programming
by: Eshghi, Kave
Published: (1987) -
On the logic programming
by: Lin, Chun-Teng, et al.
Published: (1986) -
An integration of logic and functional programming paradigms: Type theory and meta-narrowing
by: Lin, Fuyau
Published: (1991) -
On the logic programming:And/Or programming specification language
by: LIN, CHUN-TENG, et al.
Published: (1986) -
Logic programs as declarative and procedural bias in inductive logic programming
by: Lin, Dianhuan
Published: (2013)