No label defined (Q4725709)
From MaRDI portal
scientific article; zbMATH DE number 3999251
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 3999251 |
Statements
1986
0 references
atomic formula
0 references
negation-as-failure operation NOT
0 references
executable predicates
0 references
predicates of predicates
0 references
negative Horn clause
0 references
inference rules
0 references