Prolog/KR(ID:4207/pro046)

Extension to prolog for Knowledge representation 

Extension to prolog for Knowledge representation
Related languages
Prolog => Prolog/KR   Extension of
References:
  • Nakashima, H. "Knowledge Representation in Prolog/KR" view details
          in Proc. IEEE 1984 Symp. on Logic Programming, Boston, MA view details