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 quantifiers that create local scopes for those variables. Qu-Prolog is well suited as an implementation language for theorem provers and support notations typically found in texts on mathematics and logic.

In addition suitable contents:
[ = ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ as ] [ at ] [ av ] [ b ] [ bd ] [ bj ] [ ca ] [ cat ] [ ch ] [ co ] [ com ] [ cr ] [ cu ] [ du ] [ ec ] [ ed ] [ er ] [ es ] [ et ] [ extension ] [ fi ] [ file ] [ fo ] [ for ] [ forms ] [ ge ] [ gi ] [ gu ] [ h ] [ hat ] [ hose ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ io ] [ is ] [ it ] [ la ] [ language ] [ lc ] [ Lex ] [ li ] [ ly ] [ ma ] [ meta ] [ mo ] [ mod ] [ module ] [ mp ] [ ms ] [ na ] [ ng ] [ no ] [ ns ] [ object ] [ om ] [ op ] [ pe ] [ perf ] [ ph ] [ pl ] [ port ] [ pr ] [ Prolog ] [ Q ] [ quantifier ] [ query ] [ rc ] [ re ] [ ro ] [ sc ] [ scope ] [ se ] [ si ] [ su ] [ suit ] [ support ] [ text ] [ th ] [ ua ] [ up ] [ va ] [ var ] [ variable ] [ ve ]