Error detection in software code for annotated logic programs such as Prolog

摘要

Errors in logical statements and all statements are automatically checked to see if they fall within a list of annotations and any that are not within the list are characterised as an error. The annotations contain a group of patterns and an operator, so that each expression can be compared to the operating part and parameters and also for the of the most closely matching pattern. For not completely entered expressions the type consistency is checked by separation of the pattern and operating parts.