189596 ⎘
Arrangements for software engineering; Creation or generation of source code; Programming languages or programming paradigms Logic programming, e.g. PROLOG programming language
Sub-classes:SUPERORDINATE BEHAVIOR DESCRIPTION FOR GENERATING A CONTROL PROGRAM AND CONFIGURATION FOR AN AUTOMATION DEVICE
#2APPARATUS, MATHOD AND READABLE STORAGE MEDIUM FOR COMPUTATIONAL LOGIC PROCESSING
#3ACTOR-CRITIQUE CODE-TO-CODE TRANSLATION
#4Method, System & Computer Program Product for Method for Encoding a State Machine for Execution in a Distributed Ledger
#5VISUAL LOGIC EXECUTION METHOD, SYSTEM, AND DEVICE, AND MEDIUM
#6SYSTEM AND METHOD FOR SOFTWARE DEVELOPMENT INCLUDING COLUMN-BASED PROCESS EDITOR
#7SYSTEM AND METHOD FOR PROCESSING EVENTS
#8System and method for software development including column-based process editor
#9LANGUAGE FOR GENERATING ABLATION PROTOCOLS AND SYSTEM CONFIGURATIONS
#10Tool for creating forms in webpage
#11Declarative container components for builders
#12Program creation assistance device
#13Program creation assistance device
#14Managing sharable cell-based analytical notebooks
#15Relational logic integration
#16Information processing device, information processing method and non-transitory computer-readable storage medium for synchronizing edited content of control programs
#17INTERACTIVE APPLICATION TOOL AND METHODS
#18Configuration of workflows for coordinated device environments
#19System and method for a computational notebook interface
#20System and method for software development including column-based process editor
#21Abstraction of backtracking
#22Managing sharable cell-based analytical notebooks
#23Configuration model parsing for constraint-based systems
#24Retrieving data from a data storage system
#25Implementing a logic design
#26Systems and methods for arbitrary software logic modeling
#27Flowchart generating method and flowchart generating apparatus based on QT 2D graphic view
#28Apparatus and method for expanding the scope of systems management applications by runtime independence
#29Managing sharable cell-based analytical notebooks
#30Identifying logic problems in text using a statistical approach and natural language processing
#31Interface infrastructure for a continuation based runtime
#32Semantic stack trace
#33Abstraction of backtracking
#34Relational logic integration
#35Interoperable machine learning platform
#36PLD editor and method for editing PLD code
#37Computational design method and interface
#38Semantic stack trace
#39Rule-based method for proving unsatisfiable conditions in a mixed numeric and string solver
#40Unified state transition table describing a state machine model
#41Available symbol set generation using untyped variable
#42Model-theoretic approach to data anonymity and inference control
#43Method and apparatus for providing graphical interfaces for declarative specifications
#44Incremental deployment of computer software program logic
#45Precondition generating apparatus
#46Processing predicates including pointer information
#47Conditional Cell Execution in Electronic Spreadsheets
#48Runtime interpretation of declarative programs
#49Pre-condition generation device, post-condition generation device, and method for generating these conditions
#50Interface infrastructure for a continuation based runtime
#51Designing a rule for automated computer process
#52System and method for developing embedded systems
#53Method and system for self-adaptive code
#54Determining correct answers to tax and accounting issues arising from business transactions and generating accounting entries to record those transactions using a computerized logic implementation
#55Managing sharable cell-based analytical notebooks
#56Software defined neural network layer pipelining