Video capture software for 10-bit 4K
Uncompressed Prores HQ at 10 bit will yield extremely large file sizes. Is there a reason you want prores? 4K 444 10bit uncompressed would be, in my opinion, better captured as an uncompressed AVI "true uncompressed". Or, if your decklink allows it; Uncompressed MOV using the animation codec with Alpha turned off, only RGB. 

Also; you may want to use 2 SSDs and RAID 0 them; while your single SSD may be able to sustain 450mb/s, it is going to fill up rather quickly, and any hiccups will cause a stop in capture or drop in frames. 

For a fast HDD solution, I recommend an Intel 4 Channel SAS Raid Card; with 4 SSDs in RAID 0; which of course you would want to back up after capture (due to no fault loss protection using RAID 0.  I use this solution using (2) Intel Cards running (4) 1GB Crucial SSDs and I get sustained 2.4 GB/S read and write. So once your capture is finished, you can transfer all your files from your first RAID 0 to your 2nd RAID 0; in roughly 25 minutes - provided you filled the full 4 TB. 

There is also a RAID SAS expansion card which allows more drives which can be helpful if you plan on running a RAID 5, 6 or 1, or other setup. 

As far as software is concerned; FCP would interface with the Intensity Pro; as would Premiere Pro (recommended) I also believe that Blackmagic has a free download package that allows for captures in various (non-prores) codecs. But uncompressed would be available. 

I'd only close with I see no reason to tie yourself to prores unless the post house you're working with or client demands it. AVI or MOV as animation when dealing with 444 is by far the way to go.