skip to content
SDA SE Wiki
Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering
User Tools
Log In
Site Tools
Search
Tools
Old revisions
Recent Changes
Media Manager
Sitemap
Log In
>
Recent Changes
Media Manager
Sitemap
You are here:
SDA Software Engineering Research Group
»
Software Engineering Research
»
Cultivate
»
Prolog and Eclipse
Sidebar
Cultivate
The Prototype
Download
Release Notes
Smells and Metrics
What's in a name?
People
Tutorial
Getting started
Exploring Names
Exploring Dependencies
Exploring Smells and Metrics
Working with Architectures
Generic Features
For Expert Users
Analysis Predicates API
Prolog Query API
Test Framework
JTransfromer PEFs =>
Research
Towards Benchmarks
Development
Table of Contents
Prolog and Eclipse
Information on Prolog
Testing
Conventions
Performance
API
FAQ
Prolog and Eclipse
Working with the PDT
Information on Prolog
Advanced Prolog
Using var(X) and nonvar(X) to determine search strategy
Testing
Testing from within Prolog
Conventions
Coding Conventions
Documentation Conventions
Performance
Performance Optimization
API
PEFs
,
Suffixes for PEF-Predicates
JTransformer High Level API
Analysis Predicates API
prologdetectorapi
FAQ
FAQ
research/cultivate/designprolog.txt
· Last modified: 2018/05/09 01:59 (external edit)
Page Tools
Old revisions
Rename Page
Back to top
SEWiki
, © 2023