Parlog
Influence
Prolog
Influence
Vienna Parallel Logic (2842)