Following are all the acl2 like words, in the list below.
COMMON LOGIC
100% like acl2
PROGRAMMING LANGUAGE THEORY
100% like acl2
COMPUTATIONAL LEARNING THEORY
99.99% like acl2
CAML
99.99% like acl2
PROLOG
99.98% like acl2
PROOF ASSISTANT
99.98% like acl2
HOARE LOGIC
99.98% like acl2
COMPUTATIONAL LINGUISTICS
99.97% like acl2
COMPUTER ALGEBRA SYSTEM
99.97% like acl2
COMPILER-COMPILER
99.96% like acl2
PROLOG SYNTAX AND SEMANTICS
99.96% like acl2
EMACS LISP
99.96% like acl2
AUTOLISP
99.95% like acl2
CONSTRAINT PROGRAMMING
99.95% like acl2
SPECIFICATION LANGUAGE
99.94% like acl2
COMPUTATIONAL SEMANTICS
99.94% like acl2
AMPL
99.94% like acl2
EXTENSIBLE PROGRAMMING
99.93% like acl2
ACTION LANGUAGE
99.93% like acl2
COGNITIVE ARCHITECTURE
99.92% like acl2
INDUCTIVE PROGRAMMING
99.92% like acl2
SYSTEM PROGRAMMING LANGUAGE
99.92% like acl2
ONTOLOGY LANGUAGE
99.91% like acl2
OUTLINE OF COMPUTER SCIENCE
99.91% like acl2
ARITHMETIC LOGIC UNIT
99.9% like acl2
METAMATH
99.9% like acl2
QUICKCHECK
99.9% like acl2
LALR PARSER
99.89% like acl2
SAT SOLVER
99.89% like acl2
STANDARD ML
99.88% like acl2
SEPARATION LOGIC
99.88% like acl2
LLVM
99.88% like acl2
FUNCTIONAL PROGRAMMING
99.87% like acl2
PROGRAM SYNTHESIS
99.87% like acl2
ALLOY
99.86% like acl2
COMMON LISP
99.86% like acl2
CYCL
99.86% like acl2
OBJECT PASCAL
99.85% like acl2
PARSING EXPRESSION GRAMMAR
99.85% like acl2
COOL
99.84% like acl2
AUTOMATA-BASED PROGRAMMING
99.84% like acl2
LOGIC SYNTHESIS
99.84% like acl2
SOURCE CODE CONTROL SYSTEM
99.83% like acl2
GNU LINEAR PROGRAMMING KIT
99.83% like acl2
LINDO
99.82% like acl2
LISP MACHINE
99.82% like acl2
COMPUTATIONAL THEORY OF MIND
99.82% like acl2
HARDWARE DESCRIPTION LANGUAGE
99.81% like acl2
SOFTWARE SYSTEM
99.81% like acl2
FORMAL METHODS
99.8% like acl2
BOOTSTRAPPING
99.8% like acl2
INFERENCE ENGINE
99.8% like acl2
LOGIC THEORIST
99.79% like acl2
NO INSTRUCTION SET COMPUTING
99.79% like acl2
METASYNTAX
99.78% like acl2
COMPUTER PROGRAMMING
99.78% like acl2
INTERACTIVE PROOF SYSTEM
99.78% like acl2
AUTOMATED REASONING
99.77% like acl2
DECLARATIVE PROGRAMMING
99.77% like acl2
SEMANTIC REASONER
99.76% like acl2
NATURAL LANGUAGE PROCESSING
99.76% like acl2
SYMBOLIC ARTIFICIAL INTELLIGENCE
99.76% like acl2
KALEIDOSCOPE
99.75% like acl2
ARCADIA
99.75% like acl2
COMPILER
99.74% like acl2
MIZAR SYSTEM
99.74% like acl2
MODELICA
99.74% like acl2
OBJECT CONSTRAINT LANGUAGE
99.73% like acl2
HISTORY OF COMPILER CONSTRUCTION
99.73% like acl2
CONTROL FLOW ANALYSIS
99.72% like acl2
IPO MODEL
99.72% like acl2
CONFLICT-DRIVEN CLAUSE LEARNING
99.72% like acl2
HASKELL
99.71% like acl2
BCPL
99.71% like acl2
PROGRAMMABLE LOGIC ARRAY
99.7% like acl2
DYNAMIC PROGRAMMING LANGUAGE
99.7% like acl2
PROGRAMMING TOOL
99.7% like acl2
TYPE SYSTEM
99.69% like acl2
COIN-OR
99.69% like acl2
CYTHON
99.68% like acl2
RULE-BASED SYSTEM
99.68% like acl2
INTEGRATED DEVELOPMENT ENVIRONMENT
99.68% like acl2
HISTORY OF MACHINE TRANSLATION
99.67% like acl2
OPERATIONAL SEMANTICS
99.67% like acl2
LANGUAGE-ORIENTED PROGRAMMING
99.66% like acl2
ALGOL 68
99.66% like acl2
C SYNTAX
99.66% like acl2
SISAL
99.65% like acl2
OPENBLAS
99.65% like acl2
PL/I
99.64% like acl2
SYNTAX
99.64% like acl2
OBJECT-ORIENTED OPERATING SYSTEM
99.64% like acl2
LINEAR BOUNDED AUTOMATON
99.63% like acl2
STRUCTURED CONCURRENCY
99.63% like acl2
COMPUTER ARCHITECTURE
99.62% like acl2
FORMAL SPECIFICATION
99.62% like acl2
LL PARSER
99.62% like acl2
COINDUCTION
99.61% like acl2
ATLAS.TI
99.61% like acl2
KNOWLEDGE-BASED SYSTEMS
99.6% like acl2
