Language:
Free Online Dictionary|3Dict

quprolog

Source : Free On-Line Dictionary of Computing

Qu-Prolog
     
        An extension of {Prolog} which performs {meta-level
        computation}s over {object language}s, such as {predicate
        calculi} and {lambda-calculi}, which have object-level
        variables, and {quantifier}s that create local {scope}s for
        those variables. Qu-Prolog is well suited as an implementation
        language for {theorem prover}s and support notations typically
        found in texts on mathematics and logic.
Sort by alphabet : A B C D E F G H I J K L M N O P Q R S T U V W X Y Z