Pages that link to "Prolog"
← Prolog
Showing 500 items.
- Water Resistant mark (links | edit)
- ISO/IEC 20000 (links | edit)
- Production system (computer science) (links | edit)
- Scala (programming language) (links | edit)
- Cornelis H. A. Koster (links | edit)
- Office Open XML (links | edit)
- Definite clause grammar (links | edit)
- ISO 2709 (links | edit)
- ISO 31-3 (links | edit)
- ISO 31-4 (links | edit)
- ISO 31-5 (links | edit)
- ISO 31-6 (links | edit)
- ISO 31-7 (links | edit)
- ISO 31-11 (links | edit)
- PROLOG programming language (redirect page) (links | edit)
- Comparison of programming languages (links | edit)
- Akeakamai (links | edit)
- ISO 31-8 (links | edit)
- ISO 639-5 (links | edit)
- ISO 639-6 (links | edit)
- ISO 15686 (links | edit)
- New and delete (C++) (links | edit)
- ISO 259 (links | edit)
- Q-systems (links | edit)
- ISO 11170 (links | edit)
- ISO/IEC 17025 (links | edit)
- CHIP (programming language) (links | edit)
- Programming language theory (links | edit)
- Recursion (computer science) (links | edit)
- UKNC (links | edit)
- Model elimination (links | edit)
- Actor model later history (links | edit)
- ISO/IEC 11801 (links | edit)
- Ross Overbeek (links | edit)
- PDF/A (links | edit)
- Stable model semantics (links | edit)
- Well-founded semantics (links | edit)
- GNU Prolog (links | edit)
- COMTRAN (links | edit)
- ISO 7736 (links | edit)
- Append (links | edit)
- Process Specification Language (links | edit)
- Homoiconicity (links | edit)
- Meta-circular evaluator (links | edit)
- ISO/IEC 15288 (links | edit)
- List of reflective programming languages and platforms (links | edit)
- METEO System (links | edit)
- Clause (logic) (links | edit)
- Inferential programming (links | edit)
- XSB (links | edit)
- ΛProlog (links | edit)
- ISO 15926 (links | edit)
- Semipredicate problem (links | edit)
- FDI World Dental Federation notation (links | edit)
- Aix-Marseille University (links | edit)
- Livanjsko Polje (links | edit)
- British Standard Pipe (links | edit)
- Allegro Common Lisp (links | edit)
- JPEG XR (links | edit)
- ISO 5776 (links | edit)
- 3APL (links | edit)
- IATF 16949 (links | edit)
- Minion (solver) (links | edit)
- Web Content Accessibility Guidelines (links | edit)
- Conflict resolution strategy (links | edit)
- Programming language specification (links | edit)
- ISO 2788 (links | edit)
- C++11 (links | edit)
- ASMO 449 (links | edit)
- ISO 10160 (links | edit)
- ISO 10161 (links | edit)
- Virtuoso Universal Server (links | edit)
- Cris Kobryn (links | edit)
- ISO 22000 (links | edit)
- Map (higher-order function) (links | edit)
- ISO 15189 (links | edit)
- ISO 31-10 (links | edit)
- Smultron (links | edit)
- List of University of Edinburgh people (links | edit)
- Salt spray test (links | edit)
- Fold (higher-order function) (links | edit)
- Keith Clark (computer scientist) (links | edit)
- TIFF/EP (links | edit)
- ISO 13485 (links | edit)
- Deductive language (links | edit)
- LispWorks (links | edit)
- ISO 19114 (links | edit)
- Chapel (programming language) (links | edit)
- Isofix (links | edit)
- Termination analysis (links | edit)
- ISO metric screw thread (links | edit)
- ISLISP (links | edit)
- Cut (logic programming) (links | edit)
- MP4 file format (links | edit)
- ZX Spectrum software (links | edit)
- Comparison of programming languages (syntax) (links | edit)
- Logtalk (links | edit)
- Antimagnetic watch (links | edit)
- Strand (programming language) (links | edit)
- ISO 2014 (links | edit)
- ISO 2015 (links | edit)
- ISO 2711 (links | edit)
- ISO 3307 (links | edit)
- ISO 4031 (links | edit)
- PIC (markup language) (links | edit)
- EXPRESS (data modeling language) (links | edit)
- The Hacker Files (links | edit)
- TypeScript (links | edit)
- ISO 13584 (links | edit)
- SDMX (links | edit)
- PDF/UA (links | edit)
- ISO/IEC 9995 (links | edit)
- PDF/X (links | edit)
- ISO 6344 (links | edit)
- Bruce Tate (links | edit)
- ISO 6438 (links | edit)
- Exploratory programming (links | edit)
- ISO/IEC 27000 (links | edit)
- John Alan Robinson (links | edit)
- ISO/IEC 80000 (links | edit)
- QuickCheck (links | edit)
- ISO/IEC 19770 (links | edit)
- Progol (links | edit)
- ISO 26000 (links | edit)
- ISO 13399 (links | edit)
- Prolog++ (links | edit)
- Compiler Description Language (links | edit)
- Linguistic categories (links | edit)
- ISO 217 (links | edit)
- Knowledge Discovery Metamodel (links | edit)
- ISO 11940 (links | edit)
- Library of Congress Classification:Class Q -- Science (links | edit)
- B-Prolog (links | edit)
- ISO 15926 WIP (links | edit)
- ISO/IEEE 11073 (links | edit)
- Less-than sign (links | edit)
- Essentials of Programming Languages (links | edit)
- Filter (higher-order function) (links | edit)
- Difference list (links | edit)
- ISO/IEC 19752 (links | edit)
- YAP (Prolog) (links | edit)
- ISO/IEC 42010 (links | edit)
- Department of Mathematical Logic (Bulgarian Academy of Sciences) (links | edit)
- SLD resolution (links | edit)
- ISO/IEC 27002 (links | edit)
- Algebraic Logic Functional programming language (links | edit)
- Nondeterministic programming (links | edit)
- ISO 11992 (links | edit)
- Romanization of Georgian (links | edit)
- Romanization of Armenian (links | edit)
- Ivan Bratko (computer scientist) (links | edit)
- Delimited continuation (links | edit)
- ISO/IEC 27000-series (links | edit)
- Timeline of artificial intelligence (links | edit)
- Comparison of Prolog implementations (links | edit)
- ISO 25178 (links | edit)
- ISO/IEC 27006 (links | edit)
- ISO/IEC 27003 (links | edit)
- ISO/IEC 27004 (links | edit)
- ISO/IEC 27005 (links | edit)
- ISO/IEC 27007 (links | edit)
- David Webber (computer scientist) (links | edit)
- ISO/IEC 21827 (links | edit)
- ISO/IEC 18014 (links | edit)
- ISO 13406-2 (links | edit)
- Sigma knowledge engineering environment (links | edit)
- Open Virtualization Format (links | edit)
- ISO/IEC JTC 1/SC 22 (links | edit)
- ISO 16750 (links | edit)
- Photographic Activity Test (links | edit)
- ISO/IEC 14651 (links | edit)
- Comparison of programming languages (associative array) (links | edit)
- ISO/IEC 17024 (links | edit)
- KCM (links | edit)
- CLP(R) (links | edit)
- Lexical Markup Framework (links | edit)
- Refal (links | edit)
- ISO 1 (links | edit)
- Document-oriented database (links | edit)
- OCR-A (links | edit)
- Orwell (programming language) (links | edit)
- ISO 14644 (links | edit)
- List of JVM languages (links | edit)
- ISO 14698 (links | edit)
- LOLCODE (links | edit)
- ISO 4165 (links | edit)
- ISO 7002 (links | edit)
- ISO/TR 11941 (links | edit)
- Delivery Multimedia Integration Framework (links | edit)
- ISO 732 (links | edit)
- Clojure (links | edit)
- Cuthbert Hurd (links | edit)
- ISO 55000 (links | edit)
- Shock-resistant watch (links | edit)
- Profile Scripting Language (links | edit)
- ISO/IEC 38500 (links | edit)
- ISO 5964 (links | edit)
- Protocol Buffers (links | edit)
- Recursive ascent parser (links | edit)
- International Standard Name Identifier (links | edit)
- Natural-language user interface (links | edit)
- BBC Micro (links | edit)
- ISO 14031 (links | edit)
- Prolog II (redirect page) (links | edit)
- Constraint programming (links | edit)
- Constraint satisfaction (links | edit)
- Objlog (links | edit)
- Constraint logic programming (links | edit)
- CARICOM Regional Organisation for Standards and Quality (links | edit)
- Rule-based system (links | edit)
- Computational thinking (links | edit)
- STEP-NC (links | edit)
- Observations and Measurements (links | edit)
- Prologue (disambiguation) (links | edit)
- PDF/E (links | edit)
- ISO 8000 (links | edit)
- Pure (programming language) (links | edit)
- List of programming language researchers (links | edit)
- C++03 (links | edit)
- ISO 1745 (links | edit)
- Cryptol (links | edit)
- Wolfgang Bibel (links | edit)
- ISO 2 (links | edit)
- Market Identifier Code (links | edit)
- ISO 128 (links | edit)
- GOAL agent programming language (links | edit)
- Symbol (programming) (links | edit)
- Gecode (links | edit)
- High Efficiency Video Coding (links | edit)
- List of French inventions and discoveries (links | edit)
- ISO 9897 (links | edit)
- Uninterpreted function (links | edit)
- IBM Watson (links | edit)
- Prontor-Compur (links | edit)
- ISO 898 (links | edit)
- Universal Coded Character Set (links | edit)
- ISO 31000 (links | edit)
- ISO 28000 (links | edit)
- Full stop (links | edit)
- C11 (C standard revision) (links | edit)
- XQuery (links | edit)
- ISO 19439 (links | edit)
- List of programming languages for artificial intelligence (links | edit)
- Visual FoxPro (links | edit)
- Modula-2 (links | edit)
- Programming language generations (links | edit)
- ISO 14971 (links | edit)
- SPOJ (links | edit)
- Prolog syntax and semantics (links | edit)
- Graph database (links | edit)
- OCR-B (links | edit)
- Office Open XML file formats (links | edit)
- Go (programming language) (links | edit)
- Go! (programming language) (links | edit)
- PicoLisp (links | edit)
- ISO 14555 (links | edit)
- Genie (programming language) (links | edit)
- ISO 8178 (links | edit)
- Rexx (links | edit)
- Comparison of programming paradigms (links | edit)
- Region-based memory management (links | edit)
- SPARQCode (links | edit)
- Open Data Protocol (links | edit)
- AllegroGraph (links | edit)
- ISO/IEC 13211-2 (redirect page) (links | edit)
- ISO-TimeML (links | edit)
- Nominal terms (computer science) (links | edit)
- CoffeeScript (links | edit)
- Haskell (links | edit)
- ISO 39001 (links | edit)
- Prologue language (redirect page) (links | edit)
- ISO 10007 (links | edit)
- ISO/IEC 10021 (links | edit)
- ISO 8501-1 (links | edit)
- ISO 704 (links | edit)
- ISO 7200 (links | edit)
- ISO 657 (links | edit)
- ISO 860 (links | edit)
- ISO 965 (links | edit)
- ISO 999 (links | edit)
- ISO 1629 (links | edit)
- Prolog, Livno (links | edit)
- ISO 2146 (links | edit)
- ISO 668 (links | edit)
- ISO 9564 (links | edit)
- ISO 12944 (links | edit)
- ISO/IEC 19794-5 (links | edit)
- Rust (programming language) (links | edit)
- Symbolic programming (links | edit)
- OpenL Tablets (links | edit)
- Logico-linguistic modeling (links | edit)
- Probabilistic programming (links | edit)
- ISO 8691 (links | edit)
- List of concurrent and parallel programming languages (links | edit)
- Reasoning system (links | edit)
- ECL (data-centric programming language) (links | edit)
- PDF/VT (links | edit)
- Legal Entity Identifier (links | edit)
- Ceylon (programming language) (links | edit)
- Ciao (programming language) (links | edit)
- ISO 25964 (links | edit)
- ISO 50001 (links | edit)
- Hindley–Milner type system (links | edit)
- Racket features (links | edit)
- Dart (programming language) (links | edit)
- ISO/IEC 9797-1 (links | edit)
- North Australian Pastoral Company (links | edit)
- ISO 6943 (links | edit)
- HYPO CBR (links | edit)
- ISO 10218 (links | edit)
- ISO 2852 (links | edit)
- List of SRI International people (links | edit)
- ISO 14641-1 (links | edit)
- HiLog (links | edit)
- ISO 21482 (links | edit)
- ISO/IEEE 11073 Personal Health Data Standards (links | edit)
- Snake case (links | edit)
- D3web (links | edit)
- ISO/IEC 10116 (links | edit)
- Red (programming language) (links | edit)
- SICStus Prolog (links | edit)
- ParaSail (programming language) (links | edit)
- ISO/IEC 7064 (links | edit)
- ISO 20121 (links | edit)
- Elm (programming language) (links | edit)
- ISO 14051 (links | edit)
- C++14 (links | edit)
- ActiveVFP (links | edit)
- Elixir (programming language) (links | edit)
- List of filename extensions (M–R) (links | edit)
- ISO/IEC 31010 (links | edit)
- Julia (programming language) (links | edit)
- ISO 20252 (links | edit)
- Idris (programming language) (links | edit)
- ISO/IEC 14755 (links | edit)
- Norman Paton (links | edit)
- List of language bindings for GTK (links | edit)
- System Independent Data Format (links | edit)
- Objective-C (links | edit)
- Dis-unification (links | edit)
- ISO/IEC 27001 (links | edit)
- Tcl (links | edit)
- ISO 2047 (links | edit)
- ISO 15398 (links | edit)
- Wolfram Language (links | edit)
- ISO 6385 (links | edit)
- ISO 11940-2 (links | edit)
- History of software (links | edit)
- ISO 13849 (links | edit)
- Bayesian programming (links | edit)
- ISO 14224 (links | edit)
- Beatnik (programming language) (links | edit)
- Inductive programming (links | edit)
- Kotlin (programming language) (links | edit)
- Cloud Infrastructure Management Interface (links | edit)
- ISO 45001 (links | edit)
- ISO 21500 (links | edit)
- Hack (programming language) (links | edit)
- List of in-memory databases (links | edit)
- Cameleon (programming language) (links | edit)
- Antonio Luz Furtado (links | edit)
- Design of the FAT file system (links | edit)
- Rosetta Code (links | edit)
- Swift (programming language) (links | edit)
- Universal Remote Console (links | edit)
- It's Geek 2 Me (links | edit)
- ISO/IEC 27040 (links | edit)
- Motion JPEG 2000 (links | edit)
- Criticism of Prolog (redirect to section "Criticism") (links | edit)
- ISO/IEC 29119 (links | edit)
- C++17 (links | edit)
- List of arbitrary-precision arithmetic software (links | edit)
- High-level language computer architecture (links | edit)
- ISO 5428 (links | edit)
- ISO/IEC 13211 (redirect to section "ISO Prolog") (links | edit)
- Flexible array member (links | edit)
- Ur (programming language) (links | edit)
- ISO 7027 (links | edit)
- Nim (programming language) (links | edit)
- E-LOTOS (links | edit)
- Logic (links | edit)
- ISO 19600 (links | edit)
- International Standard Link Identifier (links | edit)
- ISO 16610 (links | edit)
- North Side Inc (links | edit)
- Multidimensional DSP with GPU acceleration (links | edit)
- CMMN (links | edit)
- ISO/IEC 33001 (links | edit)
- Prolog language (redirect page) (links | edit)
- RocksDB (links | edit)
- ISO 15489 (links | edit)
- Janus (time-reversible computing programming language) (links | edit)
- Glossary of artificial intelligence (links | edit)
- Comparison of programming languages by type system (links | edit)
- Brian Harris (translation researcher) (links | edit)
- Prolog32 (links | edit)
- ISO-Prolog (redirect to section "ISO Prolog") (links | edit)
- SICStus Prolog (links | edit)
- User:Felix QW/sandbox (links | edit)
- ISO Prolog (redirect to section "ISO Prolog") (links | edit)
- SICStus Prolog (links | edit)
- User:Felix QW/sandbox (links | edit)
- Jan Wielemaker (links | edit)
- ISO 17100 (links | edit)
- HFST (links | edit)
- ISO 10628 (links | edit)
- MPEG-A (links | edit)
- P (programming language) (links | edit)
- ISO 37001 (links | edit)
- ISO 22301 (links | edit)
- Jean Gallier (links | edit)
- ISO 20400 (links | edit)
- ISO 37120 (links | edit)
- C++20 (links | edit)
- ISO 2033 (links | edit)
- SQL syntax (links | edit)
- ISO/IEC 10367 (links | edit)
- ISO 5426 (links | edit)
- Frink (programming language) (links | edit)
- ISO 21001 (links | edit)
- List of Occitans (links | edit)
- ISO 6862 (links | edit)
- Semantic parsing (links | edit)
- Knowledge processing for robots (links | edit)
- ISO 17800 (links | edit)
- The Secretaries (links | edit)
- ISO 7010 (links | edit)
- ISO 14006 (links | edit)
- JPEG XL (links | edit)
- ISO 5427 (links | edit)
- Glossary of computer science (links | edit)
- Ballerina (programming language) (links | edit)
- Versatile Video Coding (links | edit)
- C17 (C standard revision) (links | edit)
- ISO 7637 (links | edit)
- List of ISO standards 1–1999 (links | edit)
- List of ISO standards 5000–7999 (links | edit)
- List of ISO standards 8000–9999 (links | edit)
- List of ISO standards 10000–11999 (links | edit)
- List of ISO standards 12000–13999 (links | edit)
- List of ISO standards 14000–15999 (links | edit)
- List of ISO standards 16000–17999 (links | edit)
- List of ISO standards 18000–19999 (links | edit)
- List of ISO standards 20000–21999 (links | edit)
- List of ISO standards 22000–23999 (links | edit)
- List of ISO standards 24000–25999 (links | edit)
- List of ISO standards 26000–27999 (links | edit)
- List of ISO standards 28000–29999 (links | edit)
- PureScript (links | edit)
- Reason (programming language) (links | edit)
- Bosque (programming language) (links | edit)
- ISO 22300 (links | edit)
- ISO 22322 (links | edit)
- A Manufacturing Language (links | edit)
- Zig (programming language) (links | edit)
- ISO 22319 (links | edit)
- ISO 22382 (links | edit)
- Graph Query Language (links | edit)
- Eff (programming language) (links | edit)
- TerminusDB (links | edit)
- Source (programming language) (links | edit)
- GOLOG (links | edit)
- ISO 22395 (links | edit)
- Nissim Francez (links | edit)
- ISO/IEC 27017 (links | edit)
- ISO/IEC 27018 (links | edit)
- ISO/IEC 27019 (links | edit)
- Ring (programming language) (links | edit)
- ISO 22315 (links | edit)
- List of ISO standards 30000–99999 (links | edit)
- ISO 22380 (links | edit)
- ISO 22381 (links | edit)
- ISO 22392 (links | edit)
- ISO 22396 (links | edit)
- Design patterns in Prolog (redirect to section "Design patterns of Prolog") (links | edit)
- Project Verona (links | edit)
- ISO/IEC 4909 (links | edit)
- Mobile driver's license (links | edit)
- AssemblyScript (links | edit)
- ISO 56000 (links | edit)
- ISO 20275 (links | edit)
- ISO 5127 (links | edit)
- Prolog-MPI (redirect to section "Concurrency") (links | edit)
- Meta-interpreters in Prolog (redirect to section "Meta-interpreters and reflection") (links | edit)
- ISO 14617 (links | edit)
- List of ISO standards 3000–4999 (links | edit)
- Minimal BASIC (links | edit)
- Full BASIC (links | edit)
- ProbLog (links | edit)
- List of ISO standards 2000–2999 (links | edit)
- Vadalog (links | edit)
- Djot (links | edit)
- ISO/IEC 5230 (links | edit)
- Maarten van Emden (links | edit)
- Logic translation (links | edit)
- Syntax and semantics of logic programming (links | edit)
- Mojo (programming language) (links | edit)
- Exception handling (programming) (links | edit)
- NCR/32 (links | edit)
- Tabled logic programming (links | edit)
- Quintus Prolog (links | edit)
- Prolog atom (redirect to section "Data types") (links | edit)
- Aleph (ILP) (links | edit)
- Sega AI Computer (links | edit)
- ArkTS (links | edit)
- MicroPDF417 (links | edit)
- Susan Stepney (links | edit)
- Han Xin code (links | edit)