Nakashima, H. "Knowledge Representation in Prolog/KR"

(1984)

Proc. (1984) Proc. IEEE 1984 Symp. on Logic Programming, Boston, MA  

Languages mentioned

  • Prolog/KR {1984} Extension to prolog for Knowledge representation