Software Engineering KB

Tag: logic

13 items with this tag.

  • Feb 10, 2026

    Logic

    • mathematics-for-cs
    • discrete-mathematics
    • logic
  • Feb 10, 2026

    Logic Programming

    • programming-paradigms
    • logic
  • Feb 10, 2026

    Backtracking Search

    • programming-paradigms
    • logic
    • backtracking
  • Feb 10, 2026

    Declarative Rules

    • programming-paradigms
    • logic
    • declarative
  • Feb 10, 2026

    Logic Programming Applications

    • programming-paradigms
    • logic
    • applications
  • Feb 10, 2026

    Unification

    • programming-paradigms
    • logic
    • unification
  • Feb 10, 2026

    Constraint Solving

    • programming-paradigms
    • logic
    • constraints
  • Feb 10, 2026

    Datalog

    • programming-paradigms
    • logic
    • datalog
  • Feb 10, 2026

    Expert Systems

    • programming-paradigms
    • logic
    • expert-systems
  • Feb 10, 2026

    Facts and Rules

    • programming-paradigms
    • logic
    • facts
    • rules
  • Feb 10, 2026

    Inference Engines

    • programming-paradigms
    • logic
    • inference
  • Feb 10, 2026

    Pattern Matching on Logic Variables

    • programming-paradigms
    • logic
    • unification
    • variables
  • Feb 10, 2026

    Prolog-style Resolution

    • programming-paradigms
    • logic
    • prolog
    • resolution

Created with Quartz v4.5.2 © 2026

  • GitHub