P# er en compiler , der giver interoperabilitet mellem et supersæt af Prolog -programmeringssproget til parallel databehandling og C# -programmeringssproget . P# kompilerer Prolog-udvidelsen til at arbejde med lineær logik i kildekoden til et C#-program. Compileren er udviklet af Jonathan Cook og er baseret på Prolog Cafe- kompileren . Compileren er skrevet i C#.
