Search results

Jump to navigation Jump to search

  • Logic programming
    ...wn as [[lambda calculus]] today. Logic programming has also been used in [[LISP]]. ...
    719 bytes (114 words) - 11:12, 7 October 2014
Retrieved from "https://tcs.nju.edu.cn/wiki/index.php?title=Special:Search"